Publication:4694689
From MaRDI portal
zbMath0789.68042MaRDI QIDQ4694689
Publication date: 29 June 1993
Related Items
Well-structured transition systems everywhere!, A closed-form evaluation for Datalog queries with integer (gap)-order constraints, Subsumtion and indexing in constraint query languages with linear arithmetic constraints., The complexity of query evaluation in indefinite temporal constraint databases, Finitely representable databases
Uses Software