Footprint Logic for Object-Oriented Components.

Frank S. de Boer Stijn de Gouw Hans-Dieter A. Hiep Jinting Bian

Published in: FACS (2022)

Keyphrases

object oriented
design patterns
database applications
databases
relational databases
data model
real time
classical logic
query language
case study
website
integrity constraints
neural network
conceptual models
database
predicate logic
industry standard
proof theory