Article

Free access

On the expressive power of the logical data model: prelimiary report

Authors:

Gabriel M. Kuper,

Moshe Y. VardiAuthors Info & Claims

SIGMOD '85: Proceedings of the 1985 ACM SIGMOD international conference on Management of data

Pages 180 - 187

https://doi.org/10.1145/318898.318915

Published: 01 May 1985 Publication History

PDF eReader

References

[1]

C Beeri, P A Bernstem, N Goodman "A Sophisticate's Introduction to Database Normalization Theory," Proc 4th Intl Conf on Very Large Data Bases, Berlin, 1978, pp 113-124

Google Scholar

[2]

E F Codd "A Relational Model of Data for Large Shared Data Banks," Comm ACM, 136, 1970, pp 377-387

Digital Library

Google Scholar

[3]

E F Codd "Extending the Database Relational Model to Capture more Meaning," ACM Trans on Database Systems, 44, 1979, pp 397-434

Digital Library

Google Scholar

[4]

M Hammer, D McLeod "Database Description with SDM--A Semantic Database Model," ACM Trans on Database Systems, 33, Sept 1978, pp 201-222

Google Scholar

[5]

R Hull, C K Yap "The Format Model A Theory of Database Organization," Proc 1st ACM Symp on Principles of Database Systems, 1982, pp 205-211

Digital Library

Google Scholar

[6]

R Hull "Relative Information Capacity of Simple Relational Database Schemata," Proc 3rd ACM Symp on Principles of Database Systems, 1984, pp 97-109

Digital Library

Google Scholar

[7]

B E Jacobs "On Database Logic," J ACM, 292, 1982, pp 310-332

Digital Library

Google Scholar

[8]

G M Kuper "The Logical Data Model," Ph D Dissertation in preparation, Dept of Computer Science, Stanford University, 1985

Google Scholar

[9]

G M Kuper, M Y Vard. "A New Approach to Database Logic," Proc. 3rd ACM Symp on Principles of Database Systems, 1984, pp 86 96.

Digital Library

Google Scholar

[10]

D Maier, A O Mendelzon, F. Sadri, J D Ullman "Adequacy of Decompositions of Relational Databases," in Advances in Database Theory (H. Gallaire, J Minker, and J M Nicolas, eds), Plen. Press, 1981, pp. 101-114

Google Scholar

[11]

J M Nicolas, II Gallane "Database-Theory vs Interpretation," in Logic and Databases (U Gallare and J. Munker, eds), Plenum Press, 1978, pp 33-54.

Google Scholar

[12]

Reiter, R. "Towards a Logical Reconstruction of Relational Database Theory," in On Conceplual Modelling Perspictives from Artificial Intelligener, Databases, and Programming Languages (M L Brodre, J Mylopoulos, and J Schmidt, eds), Springer-Verlag, 1984, pp 191-233

Google Scholar

[13]

H A Schmidt, J R Swenson "On the Semanties of the Relational Data Model," Proc ACM Int'l Conf on Management of Data, San Jose, 1975, pp 211-233

Digital Library

Google Scholar

[14]

D Shipman "The Functional Data Model and the Data Language DAPLEX," ACM Trans on Database Systems, 61, 1981, pp 140-173

Digital Library

Google Scholar

[15]

J M Smith, D C P Smith "Database Abstractions Aggregation," Comm. ACM, 206, 1977, pp 405-413.

Digital Library

Google Scholar

[16]

J D Ullman Principles of Database Systems, Computer Science Press, 1982

Digital Library

Google Scholar

[17]

M Y Vardi "The Complexity of Relational Query Languages," Proc. 14th ACM Symp on the Theory of Computing, 1982, pp 137-146

Digital Library

Google Scholar

[18]

M Y Vardi "Review of {Ja82}," Zentralblatt fur Mathematik, 497.68061, 1983

Google Scholar

Cited By

View all

Scholl MVoisard A(2005)Thematic map modelingDesign and Implementation of Large Spatial Databases10.1007/3-540-52208-5_27(167-190)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-52208-5_27
Abiteboul SBeeri CGyssens MGucht D(2005)An introduction to the completeness of languages for complex objects and nested relationsNested Relations and Complex Objects in Databases10.1007/3-540-51171-7_23(117-138)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-51171-7_23
Hull R(2005)Four views of complex objects: A sophisticate's introductionNested Relations and Complex Objects in Databases10.1007/3-540-51171-7_22(85-116)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-51171-7_22
Show More Cited By

Index Terms

On the expressive power of the logical data model: prelimiary report
1. Information systems
  1. Data management systems
    1. Database administration
    2. Database design and models

Recommendations

On the expressive power of query languages

Two main topics are addressed. First, an algebraic approach is presented to define a general notion of expressive power. Heterogeneous algebras represent information systems and morphisms represent the correspondences between the instances of databases, ...
The expressive power of CHR with priorities

Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language. Recently the language has been extended by introducing user-...
Expressive visualization

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGMOD '85: Proceedings of the 1985 ACM SIGMOD international conference on Management of data

May 1985

66 pages

ISBN:0897911601

DOI:10.1145/318898

Chairmen:
Shamkant B. Navathe
Univ. of Florida, Gainesville
,
Al Dale
Univ. of Texas

ACM SIGMOD Record Volume 14, Issue 4
May 1985
423 pages
ISSN:0163-5808
DOI:10.1145/971699
Issue’s Table of Contents

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 May 1985

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD '85

Sponsor:

SIGMOD

SIGMOD '85: Management of data

Texas, Austin, USA

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
406
Total Downloads

Downloads (Last 12 months)101
Downloads (Last 6 weeks)24

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Scholl MVoisard A(2005)Thematic map modelingDesign and Implementation of Large Spatial Databases10.1007/3-540-52208-5_27(167-190)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-52208-5_27
Abiteboul SBeeri CGyssens MGucht D(2005)An introduction to the completeness of languages for complex objects and nested relationsNested Relations and Complex Objects in Databases10.1007/3-540-51171-7_23(117-138)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-51171-7_23
Hull R(2005)Four views of complex objects: A sophisticate's introductionNested Relations and Complex Objects in Databases10.1007/3-540-51171-7_22(85-116)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-51171-7_22
Beeri C(2005)Data models and languages for databasesICDT '8810.1007/3-540-50171-1_2(19-40)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-50171-1_2
Kuper GVardi M(2005)On the complexity of queries in the logical data modelICDT '8810.1007/3-540-50171-1_17(267-280)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-50171-1_17
Gal AEtzion O(1998)A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema VersioningIEEE Transactions on Knowledge and Data Engineering10.1109/69.66708310:1(21-37)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1109/69.667083
Kuper GVardi M(1993)The logical data modelACM Transactions on Database Systems10.1145/155271.15527418:3(379-413)Online publication date: 1-Sep-1993
https://dl.acm.org/doi/10.1145/155271.155274
Bancilhon FBriggs TKhoshafian SValduriez P(1987)FAD, a Powerful and Simple Database LanguageProceedings of the 13th International Conference on Very Large Data Bases10.5555/645914.671656(97-105)Online publication date: 1-Sep-1987
https://dl.acm.org/doi/10.5555/645914.671656
Ullman J(1987)Database theory—past and futureProceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/28659.28660(1-10)Online publication date: 1-Jun-1987
https://dl.acm.org/doi/10.1145/28659.28660
Rybiński H(1987)On first-order-logic databasesACM Transactions on Database Systems10.1145/27629.2763012:3(325-349)Online publication date: 1-Sep-1987
https://dl.acm.org/doi/10.1145/27629.27630
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

On the expressive power of query languages

The expressive power of CHR with priorities

Expressive visualization