WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints.
Vincenzo Del FattoVincenzo DeufemiaLuca PaolinoSara TumiatiPublished in: DMS (2015)
Keyphrases
- integrity constraints
- deductive databases
- active rules
- integrity checking
- conceptual schema
- functional dependencies
- constraint language
- database integrity
- inclusion dependencies
- query answering
- database schema
- conjunctive queries
- xml schema
- null values
- spatial data
- constraint checking
- xml documents
- active databases
- schema integration
- federated databases
- logical rules
- inconsistent databases