Pages that link to "Item:Q1176285"

The following pages link to Datalog extensions for database queries and updates (Q1176285):

Displaying 13 items.

• Highly expressive query languages for unordered data trees (Q269323) (← links)
• A semideterministic approach to object creation and nondeterminism in database queries (Q676418) (← links)
• Tie-breaking semantics and structural totality (Q676419) (← links)
• Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
• A restricted second order logic for finite structures (Q1271559) (← links)
• Semantics and expressiveness issues in active databases (Q1278040) (← links)
• The expressive power of stratified logic programs with value invention (Q1281496) (← links)
• Verifiable properties of database transactions (Q1281498) (← links)
• Finitely representable databases (Q1376408) (← links)
• A query language for NC (Q1376409) (← links)
• The complexity of the evaluation of complex algebra expressions (Q1376410) (← links)
• The descriptive complexity of decision problems through logics with relational fixed-point and capturing results (Q1744448) (← links)
• Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)