Type systems for querying class hierarchies with non-strict inheritance

This publication has 7 references indexed in Scilit:

• Modeling class hierarchies with contradictions
  Published by Association for Computing Machinery (ACM) ,1988
• Type inference in a database programming language
  Published by Association for Computing Machinery (ACM) ,1988
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• The database language GEM
  Published by Association for Computing Machinery (ACM) ,1983
• The functional data model and the data languages DAPLEX
  ACM Transactions on Database Systems, 1981
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980