On the expressive power of database queries with intermediate types

This publication has 17 references indexed in Scilit:

• IFO: a formal semantic database model
  ACM Transactions on Database Systems, 1987
• Semantic database modeling: survey, applications, and research issues
  ACM Computing Surveys, 1987
• A translation language complete for database update and specification
  Published by Association for Computing Machinery (ACM) ,1987
• Relative Information Capacity of Simple Relational Database Schemata
  SIAM Journal on Computing, 1986
• A new approach to database logic
  Published by Association for Computing Machinery (ACM) ,1984
• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982
• On Database Logic
  Journal of the ACM, 1982
• Horn clauses and the fixpoint query hierarchy
  Published by Association for Computing Machinery (ACM) ,1982
• Database description with SDM
  ACM Transactions on Database Systems, 1981
• The functional data model and the data languages DAPLEX
  ACM Transactions on Database Systems, 1981