Conventional database systems generate a set of facts (extensional answers) as an answer for a given query. This also applies to object-oriented databases where a set of objects will be returned. However, deductive database systems give an opportunity to obtain the answer ofa query as a set offormulas @tensional answers). Intensional answers provide users additional insight to the nature ofexte...

The notion of a deductive database has emerged during the s in order to describe database systems capable of inferring new knowledge using rules Within this research area three kinds of rule based extensions for traditional databases have been intensively studied active deductive and normative rules Nowadays even SQL databases use these extensions in form of triggers views and integrity constra...

This paper presents a three level architecture for a distributed deductive database system which extends the power of distributed database systems to include deductive capabilities. I t allows both knowledge-based and data-based information to be phared by the sites of a computer network in order to process user queries. The benefits and the possible ways of segregating the rulebase into differ...

The extension of integrity checking methods proposed for deductive relational databases to the case of object-oriented deductive databases ooers new opportunities for more eecient consistency control: a reduction of the search space by ner granularity of updates, and a reduction of runtime integrity checking by incremental maintenance of the executable code generated for evaluating simpliied ru...

This paper presents an extension to deductive databases, called quantified deductive databases, that incorporates universally quantified expressions (in coded form) in the body of rules. Since universally quantified expressions contain negations in their semantics, quantified deductive databases fall under the category of deductive databases with negation. Furthermore, depending on other factor...

Tabling has been acknowledged as a useful technique in the logic programming arena for enhancing both performance and declarative properties of programs. As well, deductive database implementations benefit from this technique for implementing query solving engines. In this paper, we show how unusual operations in deductive systems can be integrated with tabling. Such operations come from relati...

The design, implementation and performance of TwoGroups, a deductive database for the 58,761 groups of order 2n, (n # 8), is described. The system is implemented in NU-Prolog, a Prolog system with built-in functions for creating and using deductive databases. TwoGroups has a set-theoretic query language, which provides users with a familiar notation to access the data. The paper describes the d...

Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of express rules of law, legal ontologies may be implied to encompass the combinatorial explosion of possible cases that may lack one or more of the express antecedents in the deductive rule system. Express ontologies in ind...

The rise of digital technology has essentially enhanced the overall communication and data management system, facilitating essential medical care services. Considering this aspect, healthcare system successfully managed patient requirements through online services facilitated experience. However, lack adequate security increased activities during Covid-19 made a soft target for hackers to gain ...