Query Processing for Deductive Databases with Null Values PDF Download

Author: Ding-An Chiang
Publisher:
ISBN:
Category : Deductive databases
Languages : en
Pages : 336

View

Book Description

Author: V.S. Alagar
Publisher: Springer Science & Business Media
ISBN: 1447132130
Category : Computers
Languages : en
Pages : 201

View

Book Description
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is "formal modeling". An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from "outside in"; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods \yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of "object" is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.

Author: V.S. Alagar
Publisher: Springer Science & Business Media
ISBN: 1447132424
Category : Computers
Languages : en
Pages : 245

View

Book Description
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring together researchers who share a concern for issues of incompleteness and uncertainty. The workshop attracted people doing fundamental research and industry oriented research in databases, software engineering and AI from North America, Europe and Asia. The workshop program featured six invited talks and twenty other presentations. The invited speakers were: Martin Feather (University of Southern CalifornialInformation Systems Institute) Laks V. S. Lakshmanan (Concordia University) Ewa Orlowska (Polish Academy of Sciences) z. Pawlak (Warsaw Technical University and Academy of Sciences) F. Sadri (Concordia University) A. Skowron (Warsaw University) The papers can be classified into four groups: rough sets and logic, concept analysis, databases and information retrieval, and software engineering. The workshop opened with a warm welcome speech from Dr. Dan Taddeo, Dean, Faculty of Engineering and Computer Science. The first day's presentations were in rough sets, databases and information retrieval. Papers given on the second day centered around software engineering and concept analysis. Sufficient time was given in between presentations to promote active interactions and numerous lively discussions. At the end of two days, the participants expressed their hope that this workshop would be continued.

Author: John Mylopoulos
Publisher: Morgan Kaufmann
ISBN: 0080886620
Category : Computers
Languages : en
Pages : 697

View

Book Description
The interaction of database and AI technologies is crucial to such applications as data mining, active databases, and knowledge-based expert systems. This volume collects the primary readings on the interactions, actual and potential, between these two fields. The editors have chosen articles to balance significant early research and the best and most comprehensive articles from the 1980s. An in-depth introduction discusses basic research motivations, giving a survey of the history, concepts, and terminology of the interaction. Major themes, approaches and results, open issues and future directions are all discussed, including the results of a major survey conducted by the editors of current work in industry and research labs. Thirteen sections follow, each with a short introduction. Topics examined include semantic data models with emphasis on conceptual modeling techniques for databases and information systems and the integration of data model concepts in high-level data languages, definition and maintenance of integrity constraints in databases and knowledge bases, natural language front ends, object-oriented database management systems, implementation issues such as concurrency control and error recovery, and representation of time and knowledge incompleteness from the viewpoints of databases, logic programming, and AI.

Author: Yunjun Gao
Publisher: Springer Nature
ISBN: 303101863X
Category : Computers
Languages : en
Pages : 106

View

Book Description
Incomplete data is part of life and almost all areas of scientific studies. Users tend to skip certain fields when they fill out online forms; participants choose to ignore sensitive questions on surveys; sensors fail, resulting in the loss of certain readings; publicly viewable satellite map services have missing data in many mobile applications; and in privacy-preserving applications, the data is incomplete deliberately in order to preserve the sensitivity of some attribute values. Query processing is a fundamental problem in computer science, and is useful in a variety of applications. In this book, we mostly focus on the query processing over incomplete databases, which involves finding a set of qualified objects from a specified incomplete dataset in order to support a wide spectrum of real-life applications. We first elaborate the three general kinds of methods of handling incomplete data, including (i) discarding the data with missing values, (ii) imputation for the missing values, and (iii) just depending on the observed data values. For the third method type, we introduce the semantics of k-nearest neighbor (kNN) search, skyline query, and top-k dominating query on incomplete data, respectively. In terms of the three representative queries over incomplete data, we investigate some advanced techniques to process incomplete data queries, including indexing, pruning as well as crowdsourcing techniques.

Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1460

View

Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

Author: Ling Liu
Publisher: National Library of Canada = Bibliothèque nationale du Canada
ISBN: 9780612067134
Category : Database management
Languages : en
Pages : 418

View

Book Description

Author: Amihai Motro
Publisher: Springer Science & Business Media
ISBN: 1461562457
Category : Computers
Languages : en
Pages : 473

View

Book Description
As its title suggests, "Uncertainty Management in Information Systems" is a book about how information systems can be made to manage information permeated with uncertainty. This subject is at the intersection of two areas of knowledge: information systems is an area that concentrates on the design of practical systems that can store and retrieve information; uncertainty modeling is an area in artificial intelligence concerned with accurate representation of uncertain information and with inference and decision-making under conditions infused with uncertainty. New applications of information systems require stronger capabilities in the area of uncertainty management. Our hope is that lasting interaction between these two areas would facilitate a new generation of information systems that will be capable of servicing these applications. Although there are researchers in information systems who have addressed themselves to issues of uncertainty, as well as researchers in uncertainty modeling who have considered the pragmatic demands and constraints of information systems, to a large extent there has been only limited interaction between these two areas. As the subtitle, "From Needs to Solutions," indicates, this book presents view points of information systems experts on the needs that challenge the uncer tainty capabilities of present information systems, and it provides a forum to researchers in uncertainty modeling to describe models and systems that can address these needs.

Author: Francois Bancilhon
Publisher: Springer Science & Business Media
ISBN: 9783540522911
Category : Computers
Languages : en
Pages : 466

View

Book Description
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.

Author: Paolo Atzeni
Publisher: Springer Science & Business Media
ISBN: 9783540569749
Category : Computers
Languages : en
Pages : 290

View

Book Description
This book presents a collection of coordinated scientific papers describing the work conducted and the results achieved within the LOGIDATA+ project, a research action funded by the Italian national research council CNR. Theaim of the LOGIDATA+ project is the definition of advanced database systems which significantly extend the functionalities of the current systems, with specific reference to the application areas for which relational systemsare not considered satisfactory. These new systems will allow the definitionof data with complex structures, the representation of semantic relationships between objects, and the use of powerful query and update languages. They will be based on a combination of techniques originatingfrom relational databases and logic programming, with contributions from object-oriented programming. The goal of the LOGIDATA+ project is the design, definition, and prototype implementation of a database management system with complex structures and a class hierarchy, to be accessed through a rule-based language. This book presents an integrated view of the project at the end of the first phase. The second phase will be mainly concerned with the implementation of prototypes.