Extending the Functional Data Model to Computational Completeness.

@inproceedings{DBLP:conf/edbt/PoulovassilisK90,
  author    = {Alexandra Poulovassilis and
               Peter J. H. King},
  editor    = {Fran\c{c}ois Bancilhon and
               Costantino Thanos and
               Dennis Tsichritzis},
  title     = {Extending the Functional Data Model to Computational Completeness},
  booktitle = {Advances in Database Technology - EDBT'90.  International Conference
               on Extending Database Technology, Venice, Italy, March 26-30,
               1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {416},
  year      = {1990},
  isbn      = {3-540-52291-3},
  pages     = {75-91},
  ee        = {db/conf/edbt/PoulovassilisK90.html},
  crossref  = {DBLP:conf/edbt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[ABRI74]

...

[ALBA85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[ATKI87]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX

[BANC87]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[BANC88]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[BATO88]

Don S. Batory, T. Y. Leung, T. E. Wise: Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262(1988) BibTeX

[BEEC88]

David Beech: A Foundation for Evolution from Relational to Object Databases. EDBT 1988: 251-270 BibTeX

[Bune82]

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982) BibTeX

[CARD85]

...

[CARD87]

Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172(1987) BibTeX

[CLAR78]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[DAYA87]

Umeshwar Dayal, Frank Manola, Alejandro P. Buchmann, Upen S. Chakravarthy, David Goldhirsch, Sandra Heiler, Jack A. Orenstein, Arnon Rosenthal: Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them. BTW 1987: 17-37 BibTeX

[DERA89]

...

[DITT88]

...

[FIEL88]

A. J. Field, Peter G. Harrison: Functional Programming. Addison-Wesley 1988, ISBN 0-201-19249-7
BibTeX

[FLOR74]

J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX

[GALL78]

...

[GRAY88]

Peter M. D. Gray, David S. Moffat, Norman W. Paton: A Prolog Interface to a Functional Data Model Database. EDBT 1988: 34-48 BibTeX

[HAMM78]

Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX

[HEIL88]

Sandra Heiler, Stanley B. Zdonik: Views, Data Abstraction, and Inheritance in the FUGUE Data Model. OODBS 1988: 225-241 BibTeX

[HIND86]

J. Roger Hindley, Jonathan P. Seldin: Introduction to Combinators and Lambda-Calculus. Cambridge University Press 1986
BibTeX

[JOU85]

...

[KHOS86]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX

[KING89]

...

[KULK86]

K. G. Kulkarni, Malcolm P. Atkinson: EFDM: Extended Functional Data Model. Comput. J. 29(1): 38-46(1986) BibTeX

[KULK87]

K. G. Kulkarni, Malcolm P. Atkinson: Implementing an Extended Functional Data Model Using PS-algol. Softw., Pract. Exper. 17(3): 171-185(1987) BibTeX

[MILN78]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX

[MILN84]

...

[NIEV84]

Jürg Nievergelt, Hans Hinterberger, Kenneth C. Sevcik: The Grid File: An Adaptable, Symmetric Multikey File Structure. ACM Trans. Database Syst. 9(1): 38-71(1984) BibTeX

[NIKH85]

...

[PATO88]

...

[PEYT87]

Simon L. Peyton Jones: The Implementation of Functional Programming Languages. Prentice-Hall 1987
BibTeX

[POUL89]

...

[REIT78]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[SCHM88]

...

[SHIP81]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[SIBL]

...

[SMIT83]

...

[TURN85]

...

[VERH82]

...

Referenced by

1. Martin Erwig, Ralf Hartmut Güting: Explicit Graphs in a Functional Model for Spatial Databases. IEEE Trans. Knowl. Data Eng. 6(5): 787-804(1994)
2. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428
3. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
4. Carol Small, Alexandra Poulovassilis: An Overview of PFL. DBPL 1991: 96-110
5. Martin Erwig, Udo W. Lipeck: A Functional DBPL Revealing High Level Optimizations. DBPL 1991: 306-321