×

Logic and databases: A deductive approach. (English) Zbl 0548.68098


MSC:

68P20 Information storage and retrieval of data
68Q65 Abstract data types; algebraic specification

Software:

Datalog; INGRES