Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

base de données déductive

deductive database

informatique et traitement des données - iate.europa.eu acta.es

▷

Chapter i using logic for querying xml data 1 using logic for querying xml dataIn this chapter, we propose the use of first-order logic, in the form of deductive database rules, as a query language for XML data, and we present X-DEVICE, an extension of the deductive object-oriented database system DEVICE, for storing and querying...

informatique et traitement des données - core.ac.uk - PDF: citeseerx.ist.psu.edu

Description logics and disjunctive datalog -- the story so far... This allows us to apply practically successful deductive database optimization techniques, such as magic sets....

PDF: citeseerx.ist.psu.edu

O!-lola- extending the deductive database system lola by object-oriented logic programming... This paper presents the declarative extension of the deductive database system LOLA to the object-oriented deductive database system O!-LOLA....

PDF: citeseerx.ist.psu.edu

Publications scientifiques

▷

Intelligent mathematical databases... Key Words: mathematical database, deductive database, object-oriented database, group theory, multiattribute indexing, partial match retrieval, range queries 1 Introduction Mathematics is a new area of advanced...

technologie et réglementation technique / informatique et traitement des données / politique de coopération - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

A logic of access control... We demonstrate the practicality and utility of our logical approach byshowing how itallows us to construct a deductive database capable of answering questions about the security oftwo real-world operating systems....

institutions de l'union européenne et fonction publique européenne / informatique et traitement des données / information et traitement de l'information - core.ac.uk - PDF: citeseerx.ist.psu.edu