Foundations of Information and Knowledge Systems (eBook, PDF)
Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings Redaktion: Seipel, Dietmar; Turull-Torres, Jose M.
Foundations of Information and Knowledge Systems (eBook, PDF)
Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings Redaktion: Seipel, Dietmar; Turull-Torres, Jose M.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Autorenporträt
Dietmar Seipel, University of Würzburg, Germany / Jose M. Turull-Torres, Massey University, Palmerston North, New Zealand
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
