Towards Formally Templated Relational Database Representations in Z.

Nicolas Wu Andrew Simpson

Published in: ASM (2010)

Keyphrases

relational databases
databases
database
relational data
relational model
sql queries
higher level
functional dependencies
normal form
keyword search
relational database management systems
information systems
object oriented
xml data
database technology
logical design