Reasoning about equations and functional dependencies on complex objects

This publication has 20 references indexed in Scilit:

• Reasoning about functional dependencies generalized for semantic data models
  ACM Transactions on Database Systems, 1992
• RELOOP, an algebra based query language for an object-oriented database system
  Data & Knowledge Engineering, 1990
• Logic-based approach to semantic query optimization
  ACM Transactions on Database Systems, 1990
• Functional computations in logic programs
  ACM Transactions on Programming Languages and Systems, 1989
• Selection of indexes to memory-resident entities for semantic data models
  IEEE Transactions on Knowledge and Data Engineering, 1989
• What you always wanted to know about Datalog (and never dared to ask)
  IEEE Transactions on Knowledge and Data Engineering, 1989
• Design and implementation of a semantic query optimizer
  IEEE Transactions on Knowledge and Data Engineering, 1989
• Features Of Languages for the Development of Information Systems at the conceptual Level
  IEEE Software, 1985
• The database language GEM
  Published by Association for Computing Machinery (ACM) ,1983
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935