Deciding properties of transactional schemas

This publication has 2 references indexed in Scilit:

• Transactions and integrity constraints
  Published by Association for Computing Machinery (ACM) ,1985
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980