Publication:3330564
From MaRDI portal
zbMath0542.68089MaRDI QIDQ3330564
No author found.
Publication date: 1984
Databases; Artificial Intelligence; Conceptual modelling; conceptual modelling; Programming Languages; abstract modelling; Intervale
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68T99: Artificial intelligence
68P05: Data structures
68P20: Information storage and retrieval of data
68N01: General topics in the theory of software
Related Items
Transformation of dynamic integrity constraints into transaction specifications, A knowledge-based system for performance optimization of a relational database system, Multi-layer logic - a predicate logic including data structure as knowledge representation language, Semantic networks, Subsumption computed algebraically, Proving properties of states in the situation calculus, Semantic data modelling using linear logic, Validation and verification of decision making rules, The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?, How to progress a database, Querying temporal and spatial constraint networks in PTIME, The conical methodology and the evolution of simulation model development, Nonapplicable nulls