Possibilistic SQL Constraints
摘要
We equip SQL with reasoning capabilities about the entity integrity of data that may feature volume, variety, and veracity dimensions. We outline applications, and establish axiomatic, algorithmic, and logical characterizations of the PTIME-complete implication problem associated with possibilistic keys, FDs, and NOT NULL constraints. We introduce a tool that creates perfect samples and offers computational support for data stewards in identifying constraints that govern entity integrity in their domain of interest.