Verifying Integrity Constraints on Web Sites.
Mary F. FernándezDaniela FlorescuAlon Y. LevyDan SuciuPublished in: IJCAI (1999)
Keyphrases
- integrity constraints
- website
- deductive databases
- integrity checking
- database schema
- web pages
- functional dependencies
- model checking
- constraint checking
- database integrity
- active rules
- conjunctive queries
- xml documents
- inclusion dependencies
- databases
- query answering
- schema integration
- active databases
- database transactions
- database
- description logics
- data warehouse
- web usage mining
- null values
- database systems
- federated databases