Pages that link to "Item:Q1900919"
From MaRDI portal
The following pages link to On the efficiency of transforming database logic programs (Q1900919):
Displaying 9 items.
- The complexity of higher-order queries (Q498405) (← links)
- Logical query optimization by proof-tree transformation (Q686647) (← links)
- Designing deductive databases (Q1104781) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Linearisability on Datalog programs (Q1884881) (← links)
- Generalization of ZYT-linearizability for bilinear datalog programs (Q1887164) (← links)
- (Q3077363) (← links)
- (Q4400802) (← links)
- (Q4808806) (← links)