WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints.
Vincenzo Del FattoVincenzo DeufemiaLuca PaolinoSara TumiatiPublished in: J. Vis. Lang. Sentient Syst. (2015)
Keyphrases
- integrity constraints
- active rules
- deductive databases
- conceptual schema
- integrity checking
- functional dependencies
- query answering
- constraint checking
- database schema
- database integrity
- schema integration
- spatial data
- constraint language
- database transactions
- xml documents
- conjunctive queries
- xml schema
- model checking
- inclusion dependencies
- multi dimensional
- logical rules
- consistent query answering