The following pages link to (Q3330564):
Displayed 13 items.
- Transformation of dynamic integrity constraints into transaction specifications (Q915441) (← links)
- A knowledge-based system for performance optimization of a relational database system (Q918738) (← links)
- Multi-layer logic - a predicate logic including data structure as knowledge representation language (Q1097720) (← links)
- Semantic networks (Q1202620) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- Validation and verification of decision making rules (Q1354851) (← links)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (Q1360685) (← links)
- How to progress a database (Q1402735) (← links)
- Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
- The conical methodology and the evolution of simulation model development (Q1805478) (← links)
- Nonapplicable nulls (Q1822518) (← links)