A relational database model for representation of formal specifications.

Robert Leithiser

Published in: ACM Southeast Regional Conference (2006)

Keyphrases

relational databases
probabilistic model
database
formal specification
databases
artificial intelligence
information systems
expert systems
knowledge based systems
building blocks
database design
network structure