+612 9045 4394
 
CHECKOUT
Foundations of Information and Knowledge Systems : Third International Symposium, Foiks 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings - Dietmar Seipel

Foundations of Information and Knowledge Systems

Third International Symposium, Foiks 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

By: Dietmar Seipel (Editor), Jose M. Turull-Torres (Editor)

Paperback

Published: 3rd February 2004
Ships: 15 business days
15 business days
$135.51
or 4 easy payments of $33.88 with Learn more

This volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004),whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series Mathematical Fun- mentals of Database Systems (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000, and the second FoIKS symposium was held in SalzauCastle(Germany)in2002.FormerMFDBSconferenceswereheldinDr- den (Germany) in 1987, VisegrĀ“ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, 1762, and 2284 of the LNCS series, respectively. In addition the FoIKS symposium was intended to be a forum for intensive discussions. For this reason the time slots for long and short contributions were 50 and 30 minutes, respectively, followed by 20 and 10 minutes for discussions, respectively. Furthermore, participants were asked in advance to prepare to act as correspondents for the contributions of other authors. There were also special sessions for the presentation and discussion of open research problems.

Hypergraph transversalsp. 1
Abstract state machines : an overview of the projectp. 6
Database repair by signed formulaep. 14
Simplification of integrity constraints for data integrationp. 31
On the security of individual datap. 49
Implementing ordered choice logic programming using answer set solversp. 59
Skyline cardinality for relational processingp. 78
Query answering and containment for regular path queries under distortionsp. 98
Weak functional dependencies in higher-order datamodelsp. 116
Reasoning about functional and multi-valued dependencies in the presence of listsp. 134
The relative complexity of updates for a class of database viewsp. 155
Equivalence of OLAP dimension schemasp. 176
A new approach to belief modelingp. 196
Computer-oriented calculi of sequent treesp. 213
On updates of logic programs : a properties-based approachp. 231
Minimal keys in higher-order datamodelsp. 242
Similarity relational calculus and its reduction to a similarity algebrap. 252
Challenges in fixpoint computation with multisetsp. 273
Towards a generalized interaction scheme for information accessp. 291
Plan databases : model and algebrap. 302
Author indexp. 321
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540209652
ISBN-10: 3540209654
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 324
Published: 3rd February 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.78
Weight (kg): 0.47