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
[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)
References
- [BKMR89]
- David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi:
Propagating Constraints in Recusive Deduction Databases.
NACLP 1989: 981-998

- [BNW91]
- Marianne Baudinet, Marc Niézette, Pierre Wolper:
On the Representation of Infinite Temporal Data and Queries.
PODS 1991: 280-290

- [BS91]
- Alexander Brodsky, Yehoshua Sagiv:
Inference of Inequality Constraints in Logic Programs.
PODS 1991: 227-240

- [Cho90]
- Jan Chomicki:
Polynomial Time Query Processing in Temporal Deductive Databases.
PODS 1990: 379-391

- [GS91]
- ...
- [JL87]
- Joxan Jaffar, Jean-Louis Lassez:
Constraint Logic Programming.
POPL 1987: 111-119

- [KKR90]
- Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz:
Constraint Query Languages.
PODS 1990: 299-313

- [LM88]
- Jean-Louis Lassez, Michael J. Maher:
On Fourier's Algorithm for Linear Arithmetic Constraints.
J. Autom. Reasoning 9(3): 373-379(1992)

- [Mah89]
- ...
- [MFPR90]
- Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan:
Magic Conditions.
PODS 1990: 314-330

- [Ram88]
- Raghu Ramakrishnan:
Magic Templates: A Spellbinding Approach To Logic Programs.
J. Log. Program. 11(3&4): 189-216(1991)

- [Rev90]
- Peter Z. Revesz:
A Closed Form for Datalog Queries with Integer Order.
ICDT 1990: 187-201

- [Sri92]
- ...
- [TS84]
- Hisao Tamaki, Taisuke Sato:
Unfold/Fold Transformation of Logic Programs.
ICLP 1984: 127-138

- [Ull88]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

- [Ull89]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents

- [Van90]
- Allen Van Gelder:
Deriving Constraints Among Argument Sizes in Logic Programs.
PODS 1990: 47-60

Last update Thu May 24 04:40:28 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page