A Closed Form for Datalog Queries with Integer Order.
Peter Z. Revesz:
A Closed Form for Datalog Queries with Integer Order.
ICDT 1990: 187-201@inproceedings{DBLP:conf/icdt/Revesz90,
author = {Peter Z. Revesz},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {A Closed Form for Datalog Queries with Integer Order},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {470},
year = {1990},
isbn = {3-540-53507-1},
pages = {187-201},
ee = {db/conf/icdt/Revesz90.html},
crossref = {DBLP:conf/icdt/90},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Journal Version
Peter Z. Revesz:
A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.
Theor. Comput. Sci. 116(1&2): 117-149(1993) BibTeX
References
- [AV88]
- Serge Abiteboul, Victor Vianu:
Procedural and Declarative Database Update Languages.
PODS 1988: 240-250 BibTeX
- [AGSS86]
- ...
- [C87]
- Alain Colmerauer:
An Introduction to Prolog III.
Commun. ACM 33(7): 69-90(1990) BibTeX
- [Ch88]
- Ashok K. Chandra:
Theory of Database Queries.
PODS 1988: 1-9 BibTeX
- [CH80]
- Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases.
J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX
- [ChI89]
- Jan Chomicki, Tomasz Imielinski:
Relational Specifications of Infinite Query Answers.
SIGMOD Conference 1989: 174-183 BibTeX
- [D88]
- Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier:
The Constraint Logic Programming Language CHIP.
FGCS 1988: 693-702 BibTeX
- [FG77]
- Jeanne Ferrante, James R. Geiser:
An Efficient Decision Procedure for the Theory of Rational Order.
Theor. Comput. Sci. 4(2): 227-233(1977) BibTeX
- [FR79]
- ...
- [HS89]
- Richard Hull, Jianwen Su:
Domain Independence and the Relational Calculus.
Acta Inf. 31(6): 513-524(1994) BibTeX
- [JL87]
- Joxan Jaffar, Jean-Louis Lassez:
Constraint Logic Programming.
POPL 1987: 111-119 BibTeX
- [KSW90]
- Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper:
Handling Infinite Temporal Data.
PODS 1990: 392-403 BibTeX
- [Ka90]
- Paris C. Kanellakis:
Elements of Relational Database Theory.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1073-1156 BibTeX
- [KKR90]
- Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz:
Constraint Query Languages.
PODS 1990: 299-313 BibTeX
- [Ki88]
- Michael Kifer:
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
JCDKB 1988: 405-415 BibTeX
- [Klee36]
- ...
- [KP88]
- Phokion G. Kolaitis, Christos H. Papadimitriou:
Why Not Negation by Fixpoint?
PODS 1988: 231-239 BibTeX
- [LP81]
- Harry R. Lewis, Christos H. Papadimitriou:
Elements of the Theory of Computation.
Prentice-Hall 1981, ISBN 0-13-273417-6
BibTeX
- [L84]
- John W. Lloyd:
Foundations of Logic Programming, 1st Edition.
Springer 1984, ISBN 3-540-13299-6
BibTeX
- [R88]
- Raghu Ramakrishnan:
Magic Templates: A Spellbinding Approach to Logic Programs.
ICLP/SLP 1988: 140-159 BibTeX
- [Ull82]
- Jeffrey D. Ullman:
Principles of Database Systems, 2nd Edition.
Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
- [UvG88]
- Jeffrey D. Ullman, Allen Van Gelder:
Parallel Complexity of Logical Query Programs.
Algorithmica 3: 5-42(1988) BibTeX
- [V82]
- Moshe Y. Vardi:
The Complexity of Relational Query Languages (Extended Abstract).
STOC 1982: 137-146 BibTeX
Referenced by
- Marianne Baudinet, Jan Chomicki, Pierre Wolper:
Constraint-Generating Dependencies.
ICDT 1995: 322-337
- Stéphane Grumbach, Jianwen Su:
Finitely Representable Databases.
PODS 1994: 289-300
- Jan Chomicki, Tomasz Imielinski:
Finite Representation of Infinite Query Answers.
ACM Trans. Database Syst. 18(2): 181-223(1993)
- Divesh Srivastava, Raghu Ramakrishnan:
Pushing Constraint Selections.
PODS 1992: 301-315
- Marianne Baudinet, Marc Niézette, Pierre Wolper:
On the Representation of Infinite Temporal Data and Queries.
PODS 1991: 280-290
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:02 2009