ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Reasoning About Equations and Functional Dependencies on Complex Objects.

Martin F. van Bommel, Grant E. Weddell: Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. 6(3): 455-469(1994)
@article{DBLP:journals/tkde/BommelW94,
  author    = {Martin F. van Bommel and
               Grant E. Weddell},
  title     = {Reasoning About Equations and Functional Dependencies on Complex
               Objects},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {3},
  year      = {1994},
  pages     = {455-469},
  ee        = {db/journals/tkde/BommelW94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

[1]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX
[2]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX
[3]
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6
BibTeX
[4]
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. 4(4): 435-454(1979) BibTeX
[5]
Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989: 405-430 BibTeX
[6]
Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990) BibTeX
[7]
Jon Louis Bentley: Aha! Algorithms. Commun. ACM 26(9): 623-628(1983) BibTeX
[8]
Elisa Bertino: An Indexing Technique for Object-Oriented Databases. ICDE 1991: 160-170 BibTeX
[9]
Elisa Bertino, Won Kim: Indexing Techniques for Queries on Nested Objects. IEEE Trans. Knowl. Data Eng. 1(2): 196-214(1989) BibTeX
[10]
...
[11]
Alexander Borgida: Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2(1): 63-72(1985) BibTeX
[12]
Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989) BibTeX
[13]
Upen S. Chakravarthy, John Grant, Jack Minker: Foundations of Semantic Query Optimization for Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 243-273 BibTeX
[14]
Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207(1990) BibTeX
[15]
Sophie Cluet, Claude Delobel, Christophe Lécluse, Philippe Richard: Reloop, an Algebra Based Query Language for an Object-Oriented Database System. DOOD 1989: 313-332 BibTeX
[16]
...
[17]
Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102 BibTeX
[18]
Saumya K. Debray, David Scott Warren: Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481(1989) BibTeX
[19]
Peter J. Downey, Ravi Sethi, Robert Endre Tarjan: Variations on the Common Subexpression Problem. J. ACM 27(4): 758-771(1980) BibTeX
[20]
...
[21]
...
[22]
David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
[23]
David Maier, Jacob Stein: Indexing in an Object-Oriented DBMS. OODBS 1986: 171-182 BibTeX
[24]
Alberto O. Mendelzon: Functional Dependencies in Logic Programs. VLDB 1985: 324-330 BibTeX
[25]
Alberto O. Mendelzon, Peter T. Wood: Functional Dependencies in Horn Clause Queries. ACM Trans. Database Syst. 16(1): 31-55(1991) BibTeX
[26]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
[27]
Greg Nelson, Derek C. Oppen: Fast Decision Procedures Based on Congruence Closure. J. ACM 27(2): 356-364(1980) BibTeX
[28]
Greg Nelson, Derek C. Oppen: Fast Decision Algorithms Based on Union and Find. FOCS 1977: 114-119 BibTeX
[29]
Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 BibTeX
[30]
Sreekumar T. Shenoy, Z. Meral Özsoyoglu: Design and Implementation of a Semantic Query Optimizer. IEEE Trans. Knowl. Data Eng. 1(3): 344-361(1989) BibTeX
[31]
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
BibTeX
[32]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
[33-1]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[33-2]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
[34]
...
[35]
...
[36]
Grant E. Weddell: Selection of Indexes to Memory-Resident Entities for Semantic Data Models. IEEE Trans. Knowl. Data Eng. 1(2): 274-284(1989) BibTeX
[37]
Grant E. Weddell: A Theory of Functional Dependencies for Object-Oriented Data Models. DOOD 1989: 165-184 BibTeX
[38]
Grant E. Weddell: Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Trans. Database Syst. 17(1): 32-64(1992) BibTeX
[39]
Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 BibTeX

Referenced by

  1. Vitaliy L. Khizder, David Toman, Grant E. Weddell: On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001: 54-67
  2. Wenfei Fan, Jérôme Siméon: Integrity Constraints for XML. PODS 2000: 23-34
  3. Jef Wijsen: Temporal FDs on Complex Objects. ACM Trans. Database Syst. 24(1): 127-176(1999)
  4. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
  5. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. DBPL 1995: 4
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:05 2009