Towards the correctness and consistency of update semantics in semantic database schema

This publication has 16 references indexed in Scilit:

• Towards a unifying logic formalism for semantic data models
  Published by Springer Nature ,2005
• A formal basis for schema analysis of semantic database update semantics
  Published by Association for Computing Machinery (ACM) ,1995
• Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct
  Published by Springer Nature ,1994
• Real-time databases
  Distributed and Parallel Databases, 1993
• Constraint analysis: a design process for specifying operations on objects
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
  ACM Transactions on Database Systems, 1989
• Constraint based analysis of database update propagation
  Published by Association for Computing Machinery (ACM) ,1989
• Semantic data models
  ACM Computing Surveys, 1988
• Relations as semantic constructs in an object-oriented language
  Published by Association for Computing Machinery (ACM) ,1987
• Semantic database modeling: survey, applications, and research issues
  ACM Computing Surveys, 1987