On the decomposition of datalog program mappings

DOI10.1016/0304-3975(90)90015-AzbMath0702.68045WikidataQ29544760 ScholiaQ29544760MaRDI QIDQ915437

Seymour Ginsburg, Guozhu Dong

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Horn clauseslogic programmingrelational databasesdatalog programs

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Uses Software

• Datalog

Cites Work

• Unnamed Item

This page was built for publication: On the decomposition of datalog program mappings