Synthesizing data structure refinements from integrity constraints.
Shankara PailoorYuepeng WangXinyu WangIsil DilligPublished in: PLDI (2021)
Keyphrases
- integrity constraints
- data structure
- deductive databases
- query answering
- integrity checking
- functional dependencies
- database integrity
- constraint checking
- database schema
- xml documents
- conjunctive queries
- inclusion dependencies
- schema integration
- index structure
- null values
- active rules
- database
- consistent query answering
- correctness criterion
- r tree
- active databases
- pattern matching
- spatial databases
- b tree
- normal form