scientific article; zbMATH DE number 4033146

MaRDI QIDQ3773405zbMATH OpenFDO

Authors Hans Kleine Büning, Theodor Lettmann

Publication date 1987

zbMATH Keywords

definite Horn formquery operations in databasesquery representationRepresentation independence

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 4094868
• Compilability and compact representations of revision of Horn knowledge bases
• Horn clause queries and generalizations
• scientific article; zbMATH DE number 4176438
• scientific article; zbMATH DE number 1304333

Cited in

(1)

• scientific article; zbMATH DE number 4176438 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3773405)