Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
Σειρά: | Lecture Notes in Computer Science,
3861 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Presentation
- The Semijoin Algebra
- Regular Papers
- Equational Constraint Solving Via a Restricted Form of Universal Quantification
- Modeling the Evolution of Objects in Temporal Information Systems
- Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel
- Iterative Modification and Incremental Evaluation of Preference Queries
- On the Number of Independent Functional Dependencies
- Arity and Alternation: A Proper Hierarchy in Higher Order Logics
- Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results
- The Nested List Normal Form for Functional and Multivalued Dependencies
- Axiomatising Functional Dependencies for XML with Frequencies
- Guarded Open Answer Set Programming with Generalized Literals
- Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
- Consistency Checking Algorithms for Restricted UML Class Diagrams
- Some Contributions to the Minimum Representation Problem of Key Systems
- On Multivalued Dependencies in Fixed and Undetermined Universes
- Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context
- Processing Ranked Queries with the Minimum Space
- Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm.