An Extensible Rule-Based Language with Complex Objects and data-Functions.

@inproceedings{DBLP:conf/dbpl/AbiteboulGVW89,
  author    = {Serge Abiteboul and
               St{\'e}phane Grumbach and
               Agn{\`e}s Voisard and
               Emmanuel Waller},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {An Extensible Rule-Based Language with Complex Objects and data-Functions},
  booktitle = {Proceedings of the Second International Workshop on Database
               Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
               Beach, Oregon},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-072-8},
  pages     = {298-314},
  ee        = {db/conf/dbpl/AbiteboulGVW89.html},
  crossref  = {DBLP:conf/dbpl/89},
  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-5 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

[AB86]

Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986) BibTeX

[AB87]

...

[Abi89]

Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. DOOD 1989: 453-472 BibTeX

[ABW86]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[AG88]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX

[AH88]

Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 BibTeX

[AK89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[Apt87]

Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574 BibTeX

[AV87]

Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 BibTeX

[Ba86]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[Ba87]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX

[Ban88]

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

[BK86]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 BibTeX

[BL86]

Marco Bellia, Giorgio Levi: The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3(3): 217-236(1986) BibTeX

[BR86]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX

[Bre88]

...

[CH80]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[CH87]

...

[Cod70]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[DL85]

...

[FT83]

...

[Gel86]

Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138 BibTeX

[GMN84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[GS87]

...

[HK87]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[HS88]

Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359 BibTeX

[Jac82]

Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) BibTeX

[JLM84]

Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. J. Log. Program. 1(3): 211-223(1984) BibTeX

[KRS85]

...

[Kup87]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 BibTeX

[LP83]

Giorgio Levi, A. M. Pegna: Top-Down Mathematical Semantics and Symbolic Execution. ITA 17(1): 55-70(1983) BibTeX

[Mol87]

...

[Naq86]

...

[Red85]

Uday S. Reddy: Narrowing as the Operational Semantics of Functional Languages. SLP 1985: 138-151 BibTeX

[RS82]

...

[SS86]

Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986) BibTeX

[Ver86]

Michel Scholl, Serge Abiteboul, François Bancilhon, Nicole Bidoit, Sophie Gamerman, Didier Plateau, Philippe Richard, Anne Verroust: VERSO: A Database Machine Based On Nested Relations. NF² 1987: 27-49 BibTeX

[Voi88]

...

[WAL*87]

...

Referenced by

1. Dan Suciu: Bounded Fixpoints for Complex Objects. DBPL 1993: 263-281
2. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173