Pages that link to "Item:Q5943120"
From MaRDI portal
The following pages link to Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120):
Displaying 8 items.
- Semantics and properties of existential quantifiers in deductive databases (Q685471) (← links)
- Minimalism, justification and non-monotonicity in deductive databases (Q1123011) (← links)
- Non-determinism in databases (Q1370621) (← links)
- Programming with non-determinism in deductive databases (Q1370628) (← links)
- Deductive databases for computing certain and consistent answers from mediated data integration systems (Q2386182) (← links)
- (Q3348437) (← links)
- Fixed-point Logics with Nondeterministic Choice (Q4434612) (← links)
- The Choice Construct in the Soufflé Language (Q6488150) (← links)