The integration of data-oriented (structural), behavioral and deductive aspects is necessary in next generation information systems. Therefore the deductive object-oriented database paradigm offers a very promising starting point for the implementation of these kinds of information systems. So far in the context of this paradigm a big problem has been the lack of a query language suitable to an...

The notion of deductive database is generalized by extending the rst-order language, used to formulate facts, rules and constraints, to a rst-order language involving time operators. A deductive database based on such an extended language is called temporal. In this paper, we rst introduce two additional time operators, one to reference past tenses, the other to reference future tenses. Then, t...

We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify an...

This chapter discusses an extended deductive database prototype system Q Data developed by Bellcore to improve data quality through data validation and cleanup The key technology component of Q Data is the extended deductive database sys tem LDL developed at MCC We discuss the issues of data quality improvement the relevance of the deductive database technology such as the LDL system to data qu...

Deductive object-oriented databases are intended to integrate the deductive and object-oriented database techniques to combine the best of two approaches and to overcome their inherent shortcomings, with a number of deductive object-oriented database languages proposed. However, most of these languages are only structurally object-oriented. Important behaviorally object-oriented features such a...

BACKGROUND As biologists increasingly rely upon computational tools, it is imperative that they be able to appropriately apply these tools and clearly understand the methods the tools employ. Such tools must have access to all the relevant data and knowledge and, in some sense, "understand" biology so that they can serve biologists' goals appropriately and "explain" in biological terms how resu...

Clocked transition systems is a computational model for modelling real-time systems. Using this model we are able to use deductive verification for proving properties over our systems.

The concept of soft sets, introduced by Molodtsov [20] is a mathematicaltool for dealing with uncertainties, that is free from the difficultiesthat have troubled the traditional theoretical approaches. In this paper, weapply the notion of the soft sets of Molodtsov to the theory of Hilbert algebras.The notion of soft Hilbert (abysmal and deductive) algebras, soft subalgebras,soft abysms and sof...