RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties.

Robert Dickerson Qianchuan Ye Michael K. Zhang Benjamin Delaware

Published in: APLAS (2022)

Keyphrases

database language
object oriented
relational data
artificial intelligence
decision trees
database systems
multi agent
relational databases
information extraction
relational model
object oriented databases
desirable properties
entity relationship
modular architecture