dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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

Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller: An Extensible Rule-Based Language with Complex Objects and data-Functions. DBPL 1989: 298-314
@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

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AB87]
...
[Abi89]
Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. DOOD 1989: 453-472 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AG88]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AH88]
Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AK89]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Apt87]
Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV87]
Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ban88]
François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BK86]
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BL86]
Marco Bellia, Giorgio Levi: The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3(3): 217-236(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BR86]
François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bre88]
...
[CH80]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CH87]
...
[Cod70]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DL85]
...
[FT83]
...
[Gel86]
Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GMN84]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GS87]
...
[HK87]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HS88]
Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Jac82]
Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KRS85]
...
[Kup87]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LP83]
Giorgio Levi, A. M. Pegna: Top-Down Mathematical Semantics and Symbolic Execution. ITA 17(1): 55-70(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mol87]
...
[Naq86]
...
[Red85]
Uday S. Reddy: Narrowing as the Operational Semantics of Functional Languages. SLP 1985: 138-151 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RS82]
...
[SS86]
Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Voi88]
...
[WAL*87]
...

Last update Mon Sep 17 23:24:26 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page