ALICE: an assertion language for integrity constraint expression.

Susan Darling Urban

Published in: COMPSAC (1989)

Keyphrases

integrity constraints
deductive databases
programming language
algebraic expressions
active rules
integrity checking
functional dependencies
language learning
constraint checking
natural language
semantic query optimization
databases
xml documents
logic programming
business processes