Data Abstraction and Relational Program Logic.
Mohammad NikoueiAnindya BanerjeeDavid A. NaumannPublished in: CoRR (2019)
Keyphrases
- data abstraction
- fault localization
- conceptual modelling
- database management
- conceptual modeling
- object oriented
- programming language
- object oriented databases
- formal specification
- data model
- abstract data types
- relational databases
- entity relationship
- database schema
- data types
- relational model
- database
- general purpose
- domain knowledge
- case study
- information systems
- artificial intelligence
- databases