𝔖 Bobbio Scriptorium

✦ LIBER ✦

A logic programming system for KBMSs-EDUCE: Jorge Bocca, European Computer-Industry Research Center, Muenchen, FRG, May 1986.

Book ID: 113272692
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 99 KB
Volume: 2
Category: Article
ISSN: 0167-9236
DOI: 10.1016/0167-9236(86)90061-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the evaluation strategy of EDUCE: Jor

On the evaluation strategy of EDUCE: Jorge Bocca, European Computer-Industry Research Center, Muenchen, FRG, February 1986.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 99 KB

EDUCE-A marriage of convenience: Prolog

EDUCE-A marriage of convenience: Prolog and a rational DBMS: Jorge Bocca, Europeean Computer-Industry Research Center, Muenchen, FRG, May 1986.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 99 KB

Checking consistency of database constra

Checking consistency of database constraints: a logical basis,: Francois Bry, Rainer Manthey, European Computer-Industry Research Center, Muenchen, FRG, August 1986.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 203 KB

Some steps towards a DBMS based KBMS: J.

Some steps towards a DBMS based KBMS: J. Bocca, H. Decker, J.-M. Nicolas, L. Vieille and M. Wallace, European Computer-Industry Research Center, Muenchen, FRG, May 1986.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 196 KB