Logics for emerging applications of databases.
Relations between Logic and DB Theory are well known and old. In a recent message to the Ontology list, John Sowa says: ``Just look at SQL -- it is one of the worst notations for logic (it was *the* worst before OWL came along). The book under review is a collection of articles dealing with connections between logic and databases, each of which would merit a separate review. We shall however content ourselves with a cursory look, to not overburden the reader. The first chapter, ``XML: model, schemas, types, logics and queries, surveys the application of logical techniques to the development of query and schema languages for XML documents. In the second chapter, ``Query answering in incosistent databases, it is argued that obtaining reliable information from an integrated database is merely the special case of computing consistent query answers in databases violating integrity constraints. Chapter Three, ``Declarative update policies for nonmonotonic knowledge bases, describes recent work on updates in nonmonotonic knowledge bases in the context of declarative logic programs. Chapter Four, ``Intelligent agents: issues and logics, surveys a number of logical frameworks developed to give a formal account of the intensional perspective (belief, desire, intention) on agents. Chapter Five, ``Logic-based approaches to workflow modelling and verification, describes current work which applies logical techniques to formulate semantic frameworks for modeling workflows. The sixth chapter, ``Logical data expiration, deals deals with data expiration -- the question of identifying historical information no longer needed in a data warehouse. The seventh chapter, ``Description logics for modeling dynamic information, looks at, e.g., schema evaluation from the decription logics perspective. Chapter Eight, ``Logics for authorization and security, describes the use of security policy languages concentrating on the logic programming issues such as nonmonotonicity for access control. Chapter Nine, ``Logical languages for data mining, describes extensions of relational query languages and rule-based extensions of databases representing inductively acquired information.
- Search-based applications. At the confluence of search and database technologies
- A method for the detection of sources in the logic information system LIS
- scientific article; zbMATH DE number 1182730 (Why is no real title available?)
- scientific article; zbMATH DE number 2090516 (Why is no real title available?)
- scientific article; zbMATH DE number 792053 (Why is no real title available?)
- Databases and artificial intelligence
- A new approach to database auto-design by logic
This page was built for publication: Logics for emerging applications of databases.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4423208)
