Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
Anna CiampoliniPaola MelloMarco MontaliSergio StorariPublished in: CBMS (2005)
Keyphrases
- integrity constraints
- medical practice
- deductive databases
- integrity checking
- query answering
- database integrity
- database schema
- constraint checking
- conjunctive queries
- functional dependencies
- inclusion dependencies
- xml documents
- model checking
- federated databases
- active databases
- multi dimensional
- databases
- active rules
- consistent query answering