Article

Free access

Safety and translation of calculus queries with scalar functions

Authors:

Martha Escobar-Molano,

Richard Hull,

Dean JacobsAuthors Info & Claims

PODS '93: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 253 - 264

https://doi.org/10.1145/153850.153909

Published: 01 August 1993 Publication History

PDF eReader

References

[1]

Serge Abitebou{ and Catriel Beeri. On the power of languages for the manipulation of complex objects. Technical Report 846, INRIA, Mat 1988.

Google Scholar

[2]

C. Beeri and P.A. Bernstein. Computational Problems Related to the Design of Normal Form Relational Schemas. A CM Transactions on Dafabase Sysfems 4:1, pages 30-59, 1979.

Digital Library

Google Scholar

[3]

C. Beeri and T. Milo. Functional and predicative programming in OODB's. In Proc. A CM Symp. on Principles of Database Systems, pages 176-190, 1992.

Digital Library

Google Scholar

[4]

C. Beeri and T. Milo. On databases, queries, and domain independence. Technical report, Hebrew UniversiLty, 1992.

Google Scholar

[5]

Don Cohen. Programming by specification and annotation. In Proc. of AAAI, 1986.

Google Scholar

[6]

Umeshwar Dayal. Queries and views in an object-oriented data model. In Proc. of Second Infl. Workshop on Database Programming Languages, pages 80-102. Morgan Kaufmann, Los Altos, CA, June 1989.

Digital Library

Google Scholar

[7]

R. Demolombe. Syntactical characterization of a subset of domain independent formulas. Technical report, Onera-Cert, 1982.

Google Scholar

[8]

H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.

Google Scholar

[9]

S. Ghandeharizadeh, R. Hull, and D. Jacobs. Implementation of delayed updates in Heraclitus. In Proc. of Intl. Conf. on Extending Data Base Technology, March 1992.

Digital Library

Google Scholar

[10]

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.

Google Scholar

[11]

A. van Gelder and K.W. Topor. Safety and translation of relational calculus queries. A CM Trans. on Database Systems, 16(2):235- 278, June 1991.

Digital Library

Google Scholar

[12]

R. Hull and D. Jacobs. Language constructs for programming active databases. In Proc. of Intl. Conf. on Very Large Data Bases, pages 455-468, 1991.

Digital Library

Google Scholar

[13]

D. Jacobs and R. Hull. Database programming with delayed updates. In Inll. Workshop on Database Programming Languages, San Marco, Calif., 1991. Morgan-Kaufmann, Inc. to appear.

Digital Library

Google Scholar

[14]

David Maier. The Theory of Relational Databases. Computer Science Press, Potomac, Maryland, 1983.

Digital Library

Google Scholar

[15]

R. Ramakrishnan, F. Baneilhon, and A. Silberschatz. Safety of reeursive horn clauses with infinite relations (extended abstract). In Proc. A CM Symp. on Principles of Database Systems, pages 328-339, 1987.

Digital Library

Google Scholar

[16]

J. W. Schmidt. Some high level language constructs for data of type relation. A CM Trans. on Database Systems, 2(3):247-261, September 1977.

Digital Library

Google Scholar

[17]

R. Topor. Domain independent formulas and databases. Theoretical Computer Science, 52(3):281-307, 1987.

Digital Library

Google Scholar

[18]

R. Topor. Theory of Database Queries with Arithmetic Relations Technical Report, TP# 90/10, April 1990.

Google Scholar

[19]

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.

Google Scholar

[20]

Jeffrey D. Ullman. Principles of Database and Knowledgebase Syslems. Computer Science Press, Potomac, Maryland, 1988.

Digital Library

Google Scholar

Cited By

View all

Liu HLiu J(2019)On the Expressive Power of Logics on Constraint Databases with Complex ObjectsJournal of Computer Science and Technology10.1007/s11390-019-1943-734:4(795-817)Online publication date: 19-Jul-2019
https://doi.org/10.1007/s11390-019-1943-7
Topor R(2018)Safety and Domain IndependenceEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_1255(3269-3273)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_1255
Topor R(2016)Safety and Domain IndependenceEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_1255-2(1-5)Online publication date: 27-Dec-2016
https://doi.org/10.1007/978-1-4899-7993-3_1255-2
Show More Cited By

Index Terms

Safety and translation of calculus queries with scalar functions

Recommendations

Safety and translation of relational calculus

Not all queries in relational calculus can be answered sensibly when disjunction, negation, and universal quantification are allowed. The class of relation calculus queries or formulas that have sensible answers is called the domain independent class ...
Safety and correct translation of relational calculus formulas
PODS '87: Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Not all queries in relational calculus can be answered “sensibly” once disjunction, negation, and universal quantification are allowed. The class of relational calculus queries, or formulas, that have “sensible” answers is called the domain independent ...
The Displacement Calculus

If all dependent expressions were adjacent some variety of immediate constituent analysis would suffice for grammar, but syntactic and semantic mismatches are characteristic of natural language; indeed this is a, or the, central problem in grammar. ...

Comments

Information & Contributors

Information

Published In

PODS '93: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

August 1993

312 pages

ISBN:0897915933

DOI:10.1145/153850

Chairman:
Catriel Beeri

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS93

Sponsor:

SIGMOD/PODS93: Joint ACM SIGMOD International Conference on Management of Data and ACM SIGMOD

May 25 - 28, 1993

D.C., Washington, USA

Acceptance Rates

PODS '93 Paper Acceptance Rate 26 of 115 submissions, 23%;

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
299
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)17

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu HLiu J(2019)On the Expressive Power of Logics on Constraint Databases with Complex ObjectsJournal of Computer Science and Technology10.1007/s11390-019-1943-734:4(795-817)Online publication date: 19-Jul-2019
https://doi.org/10.1007/s11390-019-1943-7
Topor R(2018)Safety and Domain IndependenceEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_1255(3269-3273)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_1255
Topor R(2016)Safety and Domain IndependenceEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_1255-2(1-5)Online publication date: 27-Dec-2016
https://doi.org/10.1007/978-1-4899-7993-3_1255-2
Martinenghi DTorlone R(2014)Taxonomy-based relaxation of query answering in relational databasesThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-013-0350-x23:5(747-769)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1007/s00778-013-0350-x
Topor R(2009)Safety and Domain IndependenceEncyclopedia of Database Systems10.1007/978-0-387-39940-9_1255(2463-2466)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_1255
Liu HYu JLiang W(2008)Safety, domain independence and translation of complex value database queriesInformation Sciences: an International Journal10.1016/j.ins.2008.02.005178:12(2507-2533)Online publication date: 20-Jun-2008
https://dl.acm.org/doi/10.1016/j.ins.2008.02.005
Libkin L(2007)Embedded Finite Models and Constraint DatabasesFinite Model Theory and Its Applications10.1007/3-540-68804-8_5(257-337)Online publication date: 2007
https://doi.org/10.1007/3-540-68804-8_5
Cabibbo LTorlone R(2005)Querying multidimensional databasesDatabase Programming Languages10.1007/3-540-64823-2_18(319-335)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3-540-64823-2_18
Suciu D(2005)Domain-independent queries on databases with external functionsDatabase Theory — ICDT '9510.1007/3-540-58907-4_15(177-190)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-58907-4_15
Gelder A(2005)Foundations of aggregation in deductive databasesDeductive and Object-Oriented Databases10.1007/3-540-57530-8_2(13-34)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-57530-8_2
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Safety and translation of relational calculus

Safety and correct translation of relational calculus formulas

The Displacement Calculus

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Safety and translation of relational calculus

Safety and correct translation of relational calculus formulas

The Displacement Calculus

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations