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...

We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison of using stati...

This work describes a novel implementation of a deductive database system which fills some gaps other systems do not. In fact, this system was born to this end and since its inception, many new features have been added (null values, outer joins, aggregates, ...). In particular, it embodies both Datalog and SQL query languages, where the same database can be queried. It enjoys an actual interact...

The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a deductive system, rather than a particular algorithm, captures the formal reasoning used by the agents to compute what they explicitly know. We introduce a logic for reasoning about both implicit and explicit knowledge with the latter defined with res...

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...

DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...