Intruder deduction problem for locally stable theories with normal forms and inverses.
Mauricio Ayala-RincónMaribel FernándezDaniele Nantes-SobrinhoPublished in: Theor. Comput. Sci. (2017)
Keyphrases
- normal form
- database design
- database theory
- functional dependencies
- nested relations
- relational databases
- relational algebra
- sufficient conditions
- data dependencies
- inference rules
- prime implicates
- relational database theory
- formal definitions
- multi valued
- theorem proving
- databases
- complex objects
- object oriented
- knowledge base
- database