Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
Stijn de GouwFrank S. de BoerWolfgang AhrendtRichard BubelPublished in: SOFSEM (2013)
Keyphrases
- object oriented
- programming language
- relational databases
- network structure
- first order logic
- database applications
- higher order
- social networks
- software engineering
- network analysis
- reverse engineering
- complex networks
- database design
- object oriented programming
- query language
- data model
- telecommunication networks
- databases
- network size
- heterogeneous networks
- network design
- database
- database schema
- object oriented databases
- data quality
- sensor networks
- high level
- neural network
- real time