×

Horn clauses and database dependencies. (English) Zbl 0493.68092


MSC:

68P20 Information storage and retrieval of data
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI