Safety and translation of calculus queries with scalar functions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Safety and translation of calculus queries with scalar functions

Full text

Pdf (1.02 MB)

Source

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

Washington, D.C., United States

Pages: 253 - 264

Year of Publication: 1993

ISBN:0-89791-593-3

Authors

Martha Escobar-Molano
Richard Hull
Dean Jacobs

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): 5, Downloads (12 Months): 15, Citation Count: 7

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/153850.153909 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.

	AB88	Serge Abitebou{ and Catriel Beeri. On the power of languages for the manipulation of complex objects. Technical Report 846, INRIA, Mat 1988.
	BB79	Catriel Beeri , Philip A. Bernstein, Computational problems related to the design of normal form relational schemas, ACM Transactions on Database Systems (TODS), v.4 n.1, p.30-59, March 1979 [doi>10.1145/320064.320066]
	BM92a	Catriel Beeri , Tova Milo, Functional and predictive programming in OODB's, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.176-190, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137863]
	BM92b	C. Beeri and T. Milo. On databases, queries, and domain independence. Technical report, Hebrew UniversiLty, 1992.
	Coh86	Don Cohen. Programming by specification and annotation. In Proc. of AAAI, 1986.
	Day89	Umeshwar Dayal, Queries and views in an object-oriented data model, Proceedings of the second international workshop on Database programming languages, p.80-102, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
	Dem82	R. Demolombe. Syntactical characterization of a subset of domain independent formulas. Technical report, Onera-Cert, 1982.
	End72	H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
	GHJ92	Shahram Ghandeharizadeh , Richard Hull , Dean Jacobs, Implementation of Delayed Updates in Heraclitus, Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology, p.261-276, March 23-27, 1992
	GHJ93	S. Ghandeharizadeh, R.. Hull, D. Jaeobs, J. Castillo, M. Escobar-Molano, Y. Landau, S. Lu, J. Luo. On Implementing a Language for Specifying Active Database Execution Models. Technical Report, Computer Science Department, University of Southern California. February, 1993.
	GT91	Allen Van Gelder , Rodney W. Topor, Safety and translation of relational calculus, ACM Transactions on Database Systems (TODS), v.16 n.2, p.235-278, June 1991 [doi>10.1145/114325.103712]
	HJ91	Richard Hull , Dean Jacobs, Language Constructs for Programming Active Databases, Proceedings of the 17th International Conference on Very Large Data Bases, p.455-467, September 03-06, 1991
	JH91	Dean Jacobs , Richard Hull, Database programming with delayed updates, Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data, p.416-428, April 1992, Nafplion, Greece
	Mai83	David Maier, Theory of Relational Databases, Computer Science Pr, 1983
	RBS87	R. Ramakrishnan , F. Bancilhon , A. Silberschatz, Safety of recursive Horn clauses with infinite relations, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.328-339, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28694]
	Sch77	Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
	Top87	R. W. Topor, Domain-independent formulas and databases, Theoretical Computer Science, v.52 n.3, p.281-306, June 1987 [doi>10.1016/0304-3975(87)90113-7]
	Top90	R. Topor. Theory of Database Queries with Arithmetic Relations Technical Report, TP# 90/10, April 1990.
	Top91	R..W. Topor. Theory of Database Queries with Arithmetic Relations. Teeh. Report TR 90/10, Computer Science Department, University of Melbourne. See also "Safe database queries with arithmetic relations". In Proc. 14#h Australian Computer Science Conf., pages 1- 13, Sydney, 1991.
	Ull88	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988

CITED BY 7

	Michael Benedikt , Leonid Libkin, Languages for relational databases over interpreted structures, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.87-98, May 11-15, 1997, Tucson, Arizona, United States
	Michael Benedikt , Leonid Libkin, Safe constraint queries, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.99-108, June 01-04, 1998, Seattle, Washington, United States
	Claudio Bettini , X. Sean Wang , Elisa Bertino , Sushil Jajodia, Semantic assumptions and query evaluation in temporal databases, ACM SIGMOD Record, v.24 n.2, p.257-268, May 1995
	Michael Benedikt , Leonid Libkin, Relational queries over interpreted structures, Journal of the ACM (JACM), v.47 n.4, p.644-680, July 2000
	Claudio Bettini , X. Sean Wang , Sushil Jajodia, Temporal Semantic Assumptions and Their Use in Databases, IEEE Transactions on Knowledge and Data Engineering, v.10 n.2, p.277-296, March 1998
	Manolis Terrovitis , Panos Vassiliadis , Spiros Skiadopoulos , Elisa Bertino , Barbara Catania , Anna Maddalena , Stefano Rizzi, Modeling and language support for the management of pattern-bases, Data & Knowledge Engineering, v.62 n.2, p.368-397, August, 2007
	Hong-Cheu Liu , Jeffrey Xu Yu , Weifa Liang, Safety, domain independence and translation of complex value database queries, Information Sciences: an International Journal, v.178 n.12, p.2507-2533, June, 2008