UCEJ Database Refinement and Applicability Proof.

Antoine Bossard Keiichi Kaneko

Published in: ISM (2019)

Keyphrases

database
databases
database systems
data management
database queries
relational databases
theorem prover
object oriented
database applications
linear logic
query refinement
distributed database systems
database management systems
data warehouse
data structure
image processing
metadata
data sets