Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dix, Jürgen (Επιμελητής έκδοσης), Hegner, Stephen J. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.