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

Stratification as a Design Principle in Logical Query Langugages.

Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
@inproceedings{DBLP:conf/dbpl/Naqvi89,
  author    = {Shamim A. Naqvi},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {Stratification as a Design Principle in Logical Query Langugages},
  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     = {342-356},
  ee        = {db/conf/dbpl/Naqvi89.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

[AG87]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374 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
[ABW88]
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
[BN*89]
Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(3&4): 181-232(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Can15]
...
[CH85]
Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Har79]
David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Imm86]
Neil Immerman: Relational Queries Computable in Polynomial Time. Information and Control 68(1-3): 86-104(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[IN88]
Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kif89]
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KN88]
Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KN288]
Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kup87]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kup88]
...
[Knu69]
Donald E. Knuth: The Art of Computer Programming, Volume I: Fundamental Algorithms. Addison-Wesley 1968
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lif88]
Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Man86]
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Man89]
Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[M87]
...
[M89]
Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MUVG86]
Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Nad87]
...
[Naq86]
...
[NK88]
Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[NT89]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SN87]
Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TZ86]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull88]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Var82]
Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[vEK76]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[VG86]
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
[War89]
Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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