Synthesis of Bidirectional Programs from Examples with Functional Dependencies.
Bach Nguyen TrongKanae TsushimaZhenjiang HuPublished in: J. Inf. Process. (2024)
Keyphrases
- functional dependencies
- relational databases
- normal form
- integrity constraints
- database design
- database schemes
- conflict free
- relational model
- approximate functional dependencies
- data dependencies
- multivalued dependencies
- inclusion dependencies
- entity relationship
- cardinality constraints
- user defined
- horn theories
- database schema
- universal relation
- xml documents
- object oriented
- dynamic constraints
- relational database theory