SEDL - A language for specifying integrity constraints on office forms.
James C. FerransPublished in: COCS (1982)
Keyphrases
- integrity constraints
- constraint language
- deductive databases
- integrity checking
- functional dependencies
- query answering
- programming language
- xml documents
- constraint checking
- database integrity
- active rules
- database schema
- schema integration
- inclusion dependencies
- active databases
- xml schema
- foreign key
- correctness criterion
- database transactions
- consistent query answering
- data complexity
- conjunctive queries
- expressive power
- data model
- database