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

Pushing Constraint Selections.

Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. PODS 1992: 301-315
@inproceedings{DBLP:conf/pods/SrivastavaR92,
  author    = {Divesh Srivastava and
               Raghu Ramakrishnan},
  editor    = {Moshe Y. Vardi and
               Paris C. Kanellakis},
  title     = {Pushing Constraint Selections},
  booktitle = {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, June 2-4, 1992, San Diego,
               California, USA},
  publisher = {ACM Press},
  year      = {1992},
  isbn      = {0-89791-519-4},
  pages     = {301-315},
  ee        = {http://doi.acm.org/10.1145/137097.137897, db/conf/pods/SrivastavaR92.html},
  crossref  = {DBLP:conf/pods/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ...

Printed Edition

Moshe Y. Vardi, Paris C. Kanellakis (Eds.): Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA. ACM Press 1992, ISBN 0-89791-519-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1404 KB]

Journal Edition

Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. J. Log. Program. 16(3): 361-414(1993) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[BKMR89]
David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BNW91]
Marianne Baudinet, Marc Niézette, Pierre Wolper: On the Representation of Infinite Temporal Data and Queries. PODS 1991: 280-290 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BS91]
Alexander Brodsky, Yehoshua Sagiv: Inference of Inequality Constraints in Logic Programs. PODS 1991: 227-240 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Cho90]
Jan Chomicki: Polynomial Time Query Processing in Temporal Deductive Databases. PODS 1990: 379-391 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GS91]
...
[JL87]
Joxan Jaffar, Jean-Louis Lassez: Constraint Logic Programming. POPL 1987: 111-119 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KKR90]
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LM88]
Jean-Louis Lassez, Michael J. Maher: On Fourier's Algorithm for Linear Arithmetic Constraints. J. Autom. Reasoning 9(3): 373-379(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mah89]
...
[MFPR90]
Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan: Magic Conditions. PODS 1990: 314-330 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ram88]
Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach To Logic Programs. J. Log. Program. 11(3&4): 189-216(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Rev90]
Peter Z. Revesz: A Closed Form for Datalog Queries with Integer Order. ICDT 1990: 187-201 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sri92]
...
[TS84]
Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. ICLP 1984: 127-138 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
[Ull89]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Van90]
Allen Van Gelder: Deriving Constraints Among Argument Sizes in Logic Programs. PODS 1990: 47-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Thu May 24 04:40:28 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