1 option
Foundations of Information and Knowledge Systems : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings / edited by Dietmar Seipel, Jose M. Turull-Torres.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2942.
- Lecture Notes in Computer Science, 0302-9743 ; 2942
- Language:
- English
- Subjects (All):
- Computers.
- Database management.
- Computer logic.
- Computer science--Mathematics.
- Computer science.
- Information storage and retrieval.
- User interfaces (Computer systems).
- Theory of Computation.
- Database Management.
- Logics and Meanings of Programs.
- Discrete Mathematics in Computer Science.
- Information Storage and Retrieval.
- User Interfaces and Human Computer Interaction.
- Local Subjects:
- Theory of Computation.
- Database Management.
- Logics and Meanings of Programs.
- Discrete Mathematics in Computer Science.
- Information Storage and Retrieval.
- User Interfaces and Human Computer Interaction.
- Physical Description:
- 1 online resource (X, 324 pages).
- Edition:
- First edition 2004.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-24627-5
- 9783540246275
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.