|
" Foundations of Information and Knowledge Systems. "
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745517
|
| Doc. No
|
:
|
b565466
|
| Title & Author
|
:
|
Foundations of Information and Knowledge Systems.
|
| Publication Statement
|
:
|
Springer Berlin / Heidelberg, 2004
|
| Series Statement
|
:
|
Lecture notes in computer science.
|
| ISBN
|
:
|
3540246274
|
|
|
:
|
: 9783540246275
|
| Contents
|
:
|
Invited Talks --; Hypergraph Transversals --; Abstract State Machines: An Overview of the Project --; Regular Papers --; Database Repair by Signed Formulae --; Simplification of Integrity Constraints for Data Integration --; On the Security of Individual Data --; Implementing Ordered Choice Logic Programming Using Answer Set Solvers --; Skyline Cardinality for Relational Processing --; Query Answering and Containment for Regular Path Queries under Distortions --; Weak Functional Dependencies in Higher-Order Datamodels --; Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists --; The Relative Complexity of Updates for a Class of Database Views --; Equivalence of OLAP Dimension Schemas --; A New Approach to Belief Modeling --; Computer-Oriented Calculi of Sequent Trees --; On Updates of Logic Programs: A Properties-Based Approach --; Minimal Keys in Higher-Order Datamodels --; Similarity Relational Calculus and Its Reduction to a Similarity Algebra --; Challenges in Fixpoint Computation with Multisets --; Towards a Generalized Interaction Scheme for Information Access --; Plan Databases: Model and Algebra.
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the Third International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2004 held at Wilheminenburg Castle, Austria in February 2004. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 64 submissions. Among the topics covered are data integration, data security, logic programming and databases, relational reasoning, database queries, higher-order data models, updates, database views, OLAP, belief modeling, fixpoint computations, interaction schemes, plan databases, etc.
|
| Subject
|
:
|
Computational complexity.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Parallel Title
|
:
|
Foundations of Information and Knowledge Systems (Online)
|
| |