scientific article; zbMATH DE number 219205

zbMath0789.68042MaRDI QIDQ4694689

Peter Z. Revesz

Publication date: 29 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programmingsubsumptiondatalog queriesdatabase languagesinteger order constraints

Mathematics Subject Classification ID

Logic programming (68N17) Information storage and retrieval of data (68P20)

Related Items (6)

Subsumtion and indexing in constraint query languages with linear arithmetic constraints. ⋮ The complexity of query evaluation in indefinite temporal constraint databases ⋮ Finitely representable databases ⋮ A closed-form evaluation for Datalog queries with integer (gap)-order constraints ⋮ Well-structured transition systems everywhere! ⋮ Bottom-up evaluation of Datalog programs with arithmetic constraints

Uses Software

• Datalog

This page was built for publication: