ALICE: an assertion language for integrity constraint expression

This publication has 10 references indexed in Scilit:

• Constraint analysis for specifying perspectives of class objects
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Object-Oriented Database Systems: The Notion and the Issues
  Published by Springer Nature ,1991
• Constraint analysis: A tool for explaining the semantics of complex objects
  Published by Springer Nature ,1988
• Process management and assertion enforcement for a semantic data model
  Published by Springer Nature ,1988
• Semantic database modeling: survey, applications, and research issues
  ACM Computing Surveys, 1987
• Prism
  Published by Association for Computing Machinery (ACM) ,1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982
• Database description with SDM
  ACM Transactions on Database Systems, 1981
• Planning with constraints (MOLGEN: Part 1)
  Artificial Intelligence, 1981
• The functional data model and the data languages DAPLEX
  ACM Transactions on Database Systems, 1981