Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /
Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings / [electronic resource] :
edited by Dietmar Seipel, Jose M. Turull-Torres.
- 1st ed. 2004.
- X, 324 p. online resource.
- Lecture Notes in Computer Science, 2942 1611-3349 ; .
- Lecture Notes in Computer Science, 2942 .
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.
9783540246275
10.1007/b95342 doi
Computer science.
Database management.
Computer science--Mathematics.
Discrete mathematics.
Information storage and retrieval systems.
User interfaces (Computer systems).
Human-computer interaction.
Theory of Computation.
Database Management.
Computer Science Logic and Foundations of Programming.
Discrete Mathematics in Computer Science.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
QA75.5-76.95
004.0151
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.
9783540246275
10.1007/b95342 doi
Computer science.
Database management.
Computer science--Mathematics.
Discrete mathematics.
Information storage and retrieval systems.
User interfaces (Computer systems).
Human-computer interaction.
Theory of Computation.
Database Management.
Computer Science Logic and Foundations of Programming.
Discrete Mathematics in Computer Science.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
QA75.5-76.95
004.0151