Object normal forms and dependency constraints for object-oriented schemata

Authors:
Zahir Tari;John Stokes;Stefano Spaccapietra
Affiliations:
Royal Melbourne Institute of Technology, Melbourne, Australia;Queensland Univ. of Technology, Brisbane, Australia;Swiss Federal Institute of Technology, Lausanne, Switzerland
Venue:
ACM Transactions on Database Systems (TODS)
Year:
1997

Citing 16
Cited 35

The category concept: an extension to the entity-relationship model

Data & Knowledge Engineering
A new normal form for nested relations

ACM Transactions on Database Systems (TODS)
The design of ¬ 1NF relational databases into nested normal form

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Semantic database modeling: survey, applications, and research issues

ACM Computing Surveys (CSUR)
Extended algebra and calculus for nested relational databases

ACM Transactions on Database Systems (TODS)
A recursive algebra and query optimization for nested relations

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
On the correctness of representing extended entity-relationship structures in the relational model

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object-oriented modeling and design

Object-oriented modeling and design
Database description with SDM: a semantic database model

ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas

ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases

ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks

Communications of the ACM
A complete axiomatization for functional and multivalued dependencies in database relations

SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Remarks on the algebra of non first normal form relations

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Normal Form For Entity-Relationship Diagrams

Proceedings of the Fourth International Conference on Entity-Relationship Approach
A Design Methodology for Object Oriented Databases

ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach

A normal form for XML documents

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An Object Algebra Approach to Multidatabase Query Decomposition in Donají

Distributed and Parallel Databases
A Comparative Study of Various Nested Normal Forms

IEEE Transactions on Knowledge and Data Engineering
FUN: An Efficient Algorithm for Mining Functional and Embedded Dependencies

ICDT '01 Proceedings of the 8th International Conference on Database Theory
Keys with Upward Wildcards for XML

DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Functional dependencies for value based identification in object-oriented databases

Database integrity
A normal form for XML documents

ACM Transactions on Database Systems (TODS)
Normalisation in the presence of lists

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Multi-valued dependencies in the presence of lists

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extended resource space model

Future Generation Computer Systems
Functional and multivalued dependencies in nested databases generated by record and list constructor

Annals of Mathematics and Artificial Intelligence
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

Theoretical Computer Science - Logic, language, information and computation
On a problem of Fagin concerning multivalued dependencies in relational databases

Theoretical Computer Science
On the logical implication of multivalued dependencies with null values

CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Deciding implication for functional dependencies in complex-value databases

Theoretical Computer Science - Logic, language, information and computation
On inferences of full hierarchical dependencies

ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Full hierarchical dependencies in fixed and undetermined universes

Annals of Mathematics and Artificial Intelligence
Constraint acquisition you can chase but you cannot find

APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Efficient reasoning about a robust XML key fragment

ACM Transactions on Database Systems (TODS)
Boolean Constraints for XML Modeling

Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Constraint acquisition for Entity-Relationship models

Data & Knowledge Engineering
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies

Information Systems
The Implication Problem of Functional Dependencies in Complex-value Databases

Electronic Notes in Theoretical Computer Science (ENTCS)
Extended resource space model

Future Generation Computer Systems
Normalization rules of the object-oriented data model

Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Appropriate reasoning about data dependencies in fixed and undetermined universes

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Towards the conceptual normalisation

Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Design by example for SQL table definitions with functional dependencies

The VLDB Journal — The International Journal on Very Large Data Bases
On multivalued dependencies in fixed and undetermined universes

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Characterisations of multivalued dependency implication over undetermined universes

Journal of Computer and System Sciences
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations

ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases

Annals of Mathematics and Artificial Intelligence
On Inferences of Full First-Order Hierarchical Decompositions

Fundamenta Informaticae - Logic, Language, Information and Computation
Reasoning about functional and full hierarchical dependencies over partial relations

Information Sciences: an International Journal
On the logical implication of multivalued dependencies with null values

CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address the development of a normalization theory for object-oriented data models that have common features to support objects. We first provide an extension of functional dependencies to cope with the richer semantics of relationships between objects, called path dependency, local dependency, and global dependency constraints. Using these dependency constraints, we provide normal forms for object-oriented data models based on the notions of user interpretation (user-specified dependency constraints) and object model. In constrast to conventional data models in which a normalized object has a unique interpretation, in object-oriented data models, an object may have many multiple interpretations that form the model for that object. An object will then be in a normal form if and only if the user's interpretation is derivable from the model of the object. Our normalization process is by nature iiterative, in which objects are restructured until their models reflect the user's interpretation.