Pushing constraint selections

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Pushing constraint selections

Full text

Pdf (1.44 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

San Diego, California, United States

Pages: 301 - 315

Year of Publication: 1992

ISBN:0-89791-519-4

Authors

Divesh Srivastava
Raghu Ramakrishnan

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 17, Citation Count: 21

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/137097.137897 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	BKMR89	Isaac Balbin, David B. Kemp, Krishnamurthy Meenakshi, and Kotagiri Ramamohanarao. Propagating constraints in recursive deductive databases. In Proceedings of the North American Conference on Logic Programming, pages 16-20, October 1989.
	BNW91	Marianne Baudinet , Marc Niézette , Pierre Wolper, On the representation of infinite temporal data and queries (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.280-290, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113439]
	BS91	Alexander Brodsky , Yehoshua Sagiv, Inference of inequality constraints in logic programs (extended abstracts), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.227-240, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113434]
	Cho90	Jan Chomicki, Polynomial time query processing in temporal deductive databases, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-391, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298589]
	GS91	P.A. Gardner and J.C. Shepherdson. Unfold/Fold transformations of logic programs. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic. The MIT Press, 1991.
	JL87	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	KKR90	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.299-313, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298582]
	LM88	J-L. Lassez and M. J. Maher. On Fourier's algorithm for linear arithmetic constraints. Technical report, IBM, T. j. Watson Research Center, 1988.
	Mah89	Michael J. Maher, A Transformation System for Deductive Database Modules with Perfect Model Semantics, Proceedings of the Ninth Conference on Foundations of Software Technology and Theoretical Computer Science, p.89-98, December 19-21, 1989
	MFPR90	Inderpal Singh Mumick , Sheldon J. Finkelstein , Hamid Pirahesh , Raghu Ramakrishnan, Magic conditions, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.314-330, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298584]
	Ram88	Raghu Ramakrishnan. Magic Templates: A spellbinding approach to logic programs. In Proceedings of the International Conference on Logic Programming, pages 140-159, Seattle, Washington, August 1988.
	Rev90	Peter Z. Revesz, A closed form for Datalog queries with integer order (preliminary version), Proceedings of the third international conference on database theory on Database theory, p.187-201, November 1990, Paris, France
	Sri92	Divesh Srivastava. Subsumption in constraint query languages with linear arithmetic constraints. In Second Intern, atzonal Symposium on A rtzficzal Intelhgence and Mathematics, Fort Lauderda.le, Florida, january 1992.
	TS84	Hisao Tamaki and Taisuke Sato. Unfold/fold transformations of logic programs. In Proceedings of the Second Internatzonal Conference on Logic Programming, pages 127-138, Uppsala, Sweden, July 1984.
	Ull89	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	Van90	Allen van Gelder, Deriving constraints among argument sizes in logic programs (extended abstract), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.47-60, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298541]

CITED BY 21

	Alexander Brodsky , Yoram Kornatzky, The LyriC language: querying constraint objects, ACM SIGMOD Record, v.24 n.2, p.35-46, May 1995
	Alexander Brodsky, Constraint databases: promising technology or just intellectual exercise?, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996
	Paris Kanellakis, Constraint programming and database languages: a tutorial, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.46-53, May 22-25, 1995, San Jose, California, United States
	Alon Y. Levy, Logic-based techniques in data integration, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Peter J. Stuckey , S. Sudarshan, Compiling query constraints (extended abstract), Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.56-67, May 24-27, 1994, Minneapolis, Minnesota, United States
	S. Dar , R. Agrawal, Extending SQL with Generalized Transitive Closure, IEEE Transactions on Knowledge and Data Engineering, v.5 n.5, p.799-812, October 1993
	Andrew Witkowski , Srikanth Bellamkonda , Tolga Bozkaya , Gregory Dorman , Nathan Folkert , Abhinav Gupta , Lei Shen , Sankar Subramanian, Spreadsheets in RDBMS for OLAP, Proceedings of the 2003 ACM SIGMOD international conference on Management of data, June 09-12, 2003, San Diego, California
	The Piazza Peer Data Management System, IEEE Transactions on Knowledge and Data Engineering, v.16 n.7, p.787-798, July 2004
	Andrew Witkowski , Srikanth Bellamkonda , Tolga Bozkaya , Nathan Folkert , Abhinav Gupta , John Haydu , Lei Sheng , Sankar Subramanian, Advanced SQL modeling in RDBMS, ACM Transactions on Database Systems (TODS), v.30 n.1, p.83-121, March 2005
	Paris Kanellakis, Database querying and constraint programming, ACM SIGACT News, v.25 n.4, p.22-87, Dec. 1994
	Alon Y. Halevy, Answering queries using views: A survey, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.270-294, December 2001
	Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv, Query Optimization by Predicate Move-Around, Proceedings of the 20th International Conference on Very Large Data Bases, p.96-107, September 12-15, 1994
	Alexander Brodsky , Joxan Jaffar , Michael J. Maher, Toward Practical Constraint Databases, Proceedings of the 19th International Conference on Very Large Data Bases, p.567-580, August 24-27, 1993
	Y. Halevy , G. Ives , Dan Suciu , Igor Tatarinov, Schema mediation for large-scale semantic data sharing, The VLDB Journal — The International Journal on Very Large Data Bases, v.14 n.1, p.68-83, March 2005
	Alexander Brodsky , Victor E. Segal , Jia Chen , Pavel A. Exarkhopoulo, The CCUBE Constraint Object-Oriented Database System, Constraints, v.2 n.3-4, p.245-277, 1997
	Alexander Brodsky , Joxan Jaffar , Michael J. Maher, Toward Practical Query Evaluation for Constraint Databases, Constraints, v.2 n.3-4, p.279-304, 1997
	Laurent Fribourg , Hans Olsén, A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters, Constraints, v.2 n.3-4, p.305-335, 1997
	Pascal Van Hentenryck , Vijay Saraswat, Constraint Programming: Strategic Directions, Constraints, v.2 n.1, p.7-33, April 1997
	Alexander Brodsky, Constraint Databases: Promising Technology or Just IntellectualExercise?, Constraints, v.2 n.1, p.35-44, April 1997
	Alon Y. Levy , Yehoshua Sagiv, Exploiting irrelevance reasoning to guide problem solving, Proceedings of the 13th international joint conference on Artifical intelligence, p.138-144, August 28-September 03, 1993, Chambery, France