Novel Model for the Computation of Linguistic Hedges in Database Queries

Most query languages are designed to retrieve information from databases containing precise and certain data using precisely specified commands. Due to the advancements in various kinds of data repositories in the recent years, there is a steep increase in complex queries. Most of the complex Queries are uncertain and vague. The existing Structured Query Language exhibits its inefficiency in handling these complex Queries. This paper proposes a model to handle the complexities by using fuzzy set theory. In this model, the Fuzzy Query with linguistic hedges is converted into Crisp Query, by deploying an application layer over the Structured Query Language

Weakening of fuzzy relational queries: an absolute proximity relation-based approach

In this paper we address the problem of query failure in the context of flexible querying. We propose a fuzzy set–based approach for relaxing queries involving gradual predicates. This approach relies on the notion of proximity relation which is defined in an absolute way. We show how such proximity relation allows for transforming a given predicate into an enlarged one. The resulting predicate is semantically not far from the original one and it is obtained by a simple fuzzy arithmetic operation. The main features of the weakening mechanism are investigated and a comparative study with some methods proposed for the purpose of fuzzy query weakening is presented as well. Last, an example is provided to illustrate our proposal in the case of conjunctive queries.Peer Reviewe

Construcción de un sistema de información y de ayuda a la decisión mediante lógica difusa para el cultivo del olivar en Andalucía

In Southern Spain, olive (Olea europaea L.) growing is an important part of the economy, especially in the provinces of Jaén, Córdoba and Granada. This work proposes the first stages of an Information and Decision-Support System (IDSS) for providing different types of users (farmers, agricultural engineers, public services, etc.) with information on olive growing and the environment, and also assisting in decision-making. The main purposes of the project reported in this paper are to process uncertain or imprecise data, such as those concerning the environment or crops, and combine user data with other scientific-experimental data. The possibility of storing agricultural and ecological information in fuzzy relational databases, vital to the development of an IDSS is described. The information will be processed using knowledge extraction tools (fuzzy data-mining) that will allow rules on expert knowledge for assessing suitability of land to be developed and making thematic maps with the aid of Geographic Information Systems. Flexible querying will allow the users to collect information interactively from databases, while user information is constantly added. Flexible querying of databases, land suitability and thematic maps may be used to help in decisionmaking.El cultivo del olivo (Olea europaea L.) tiene una enorme importancia económica en la zona sur de España y concretamente en las provincias de Jaén, Córdoba y Granada. En este trabajo se propone la construcción de un sistema de información y ayuda a la toma de decisión (IDSS) que permita en el futuro a distintos tipos de usuarios (agricultores, agrónomos, administraciones públicas, etc.) obtener y manejar información sobre el cultivo de olivar y el soporte ambiental del mismo, así como ayudar en la toma de decisiones. Los principales objetivos desarrollados en este trabajo son el tratamiento de datos inciertos e imprecisos, como es el caso de la información ambiental y sobre cultivos, y la fusión de datos sobre cultivo y otros de carácter científico-experimental. Se describe la posibilidad de almacenar la información de carácter agronómico y ecológico en bases de datos relacionales, que es vital para el desarrollo de un IDSS. La información será procesada a través de herramientas de extracción de conocimiento (minería de datos difusa) y permitirá sobre la base del conocimiento experto el desarrollo de reglas para la clasificación de aptitud del terreno y para la obtención de mapas temáticos con la ayuda de Sistemas de Información Geográfica. La consulta flexible permitirá a los distintos usuarios la consulta interactiva de toda la información almacenada en las bases de datos, así como una implementación constante de las mismas. La consulta flexible de bases de datos, la idoneidad de los terrenos y los mapas temáticos pueden ser de gran utilidad en la toma de decisiones.This work is part of the research projects 1FD97-0244-CO3-2 (financed with FEDER funds) and CGL2004-02282BTE (Spanish Ministry of Education and Science)

Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

A neutrosophic set is a part of neutrosophy that studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. The neutrosophic set is a powerful general formal framework that has been recently proposed. However, the neutrosophic set needs to be specified from a technical point of view. Here, we define the set-theoretic operators on an instance of a neutrosophic set, and call it an Interval Neutrosophic Set (INS). We prove various properties of INS, which are connected to operations and relations over INS. We also introduce a new logic system based on interval neutrosophic sets. We study the interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. We also create a neutrosophic logic inference system based on interval neutrosophic logic. Under the framework of the interval neutrosophic set, we propose a data model based on the special case of the interval neutrosophic sets called Neutrosophic Data Model. This data model is the extension of fuzzy data model and paraconsistent data model. We generalize the set-theoretic operators and relation-theoretic operators of fuzzy relations and paraconsistent relations to neutrosophic relations. We propose the generalized SQL query constructs and tuple-relational calculus for Neutrosophic Data Model. We also design an architecture of Semantic Web Services agent based on the interval neutrosophic logic and do the simulation study

Databases and Artificial Intelligence

International audienceThis chapter presents some noteworthy works which show the links between Databases and Artificial Intelligence. More precisely, after an introduction, Sect. 2 presents the seminal work on "logic and databases" which opened a wide research field at the intersection of databases and artificial intelligence. The main results concern the use of logic for database modeling. Then, in Sect. 3, we present different problems raised by integrity constraints and the way logic contributed to formalizing and solving them. In Sect. 4, we sum up some works related to queries with preferences. Section 5 finally focuses on the problematic of database integration

A New Rational Algorithm for View Updating in Relational Databases

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In order to apply the rationality result of belief dynamics theory to various practical problems, it should be generalized in two respects: first it should allow a certain part of belief to be declared as immutable; and second, the belief state need not be deductively closed. Such a generalization of belief dynamics, referred to as base dynamics, is presented in this paper, along with the concept of a generalized revision algorithm for knowledge bases (Horn or Horn logic with stratified negation). We show that knowledge base dynamics has an interesting connection with kernel change via hitting set and abduction. In this paper, we show how techniques from disjunctive logic programming can be used for efficient (deductive) database updates. The key idea is to transform the given database together with the update request into a disjunctive (datalog) logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the original update problem. The approach extends and integrates standard techniques for efficient query answering and integrity checking. The generation of a hitting set is carried out through a hyper tableaux calculus and magic set that is focused on the goal of minimality.Comment: arXiv admin note: substantial text overlap with arXiv:1301.515