Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou.

DIADEM: Domains to Databases -- Stepwise Development of FormalModels forWeb Services Compositions: Modelling and Property Verification -- A Hybrid Approach for General XML Query Processing -- SCOOTER: A Compact and Scalable Dynamic Labeling Scheme for XML Updates -- Reuse the Deleted Labels for Vector Order-Based Dynamic XML Labeling Schemes.-  Towards an Efficient Flash-Based Mid-Tier Cache -- Evacuation Planning of Large Buildings Using Ladders.-  A Write Efficient PCM-Aware Sort.-  Performance Analysis of Algorithms to Reason about XML Keys.-  Finding Top-K Correct XPath Queries of User's Incorrect XPath Query -- Analyzing Plan Diagrams of XQuery Optimizers -- Spreadsheet Metadata Extraction: A Layout-Based Approach -- Automated Extraction of Semantic Concepts from Semi-structured Data: Supporting Computer-Based Education through the Analysis of Lecture Notes -- A Confidence-Weighted Metric for Unsupervised Ontology Population from Web Texts.-  Situation-Aware User's Interests Prediction for Query Enrichment -- The Effective Relevance Link between a Document and a Query -- Incremental Computation of Skyline Queries with Dynamic Preferences.-  Efficient Discovery of Correlated Patterns in Transactional Databases Using Items' Support Intervals -- On Checking Executable Conceptual Schema Validity by Testing -- Querying Transaction-Time Databases under Branched Schema Evolution -- Fast Identity Anonymization on Graphs -- Probabilistic Inference of Fine-Grained Data Provenance -- Enhancing Utility and Privacy-Safety via Semi-homogenous Generalization.-Processing XML Twig Pattern Query with Wildcards -- A Direct Approach to Holistic Boolean-Twig Pattern Evaluation -- Full Tree-Based Encoding Technique for Dynamic XML Labeling Schemes -- Top-k Maximal Influential Paths in Network Data -- Learning to Rank from Concept-Drifting Network Data Streams -- Top-k Context-Aware Queries on Streams -- Fast Block-Compressed Inverted Lists.-  Positional Data Organization and Compression in Web Inverted Indexes.-Decreasing Memory Footprints for Better Enterprise Java Application Performance. Knowledge-Driven Syntactic Structuring: The Case of Multidimensional Space of Music Information -- Mining Frequent Itemsets Using Node-Sets of a Prefix-Tree -- MAX-FLMin: An Approach for Mining Maximal Frequent Links and Generating Semantical Structures from Social Networks.-  Sequenced Route Query in Road Network Distance Based on Incremental Euclidean Restriction -- Path-Based Constrained Nearest Neighbor Search in a Road Network -- Efficient Fuzzy Ranking for Keyword Search on Graphs. Stepwise Development of FormalModels forWeb Services Compositions: Modelling and Property Verification -- A Hybrid Approach for General XML Query Processing -- SCOOTER: A Compact and Scalable Dynamic Labeling Scheme for XML Updates -- Reuse the Deleted Labels for Vector Order-Based Dynamic XML Labeling Schemes.-  Towards an Efficient Flash-Based Mid-Tier Cache -- Evacuation Planning of Large Buildings Using Ladders.-  A Write Efficient PCM-Aware Sort.-  Performance Analysis of Algorithms to Reason about XML Keys.-  Finding Top-K Correct XPath Queries of User's Incorrect XPath Query -- Analyzing Plan Diagrams of XQuery Optimizers -- Spreadsheet Metadata Extraction: A Layout-Based Approach -- Automated Extraction of Semantic Concepts from Semi-structured Data: Supporting Computer-Based Education through the Analysis of Lecture Notes -- A Confidence-Weighted Metric for Unsupervised Ontology Population from Web Texts.-  Situation-Aware User's Interests Prediction for Query Enrichment -- The Effective Relevance Link between a Document and a Query -- Incremental Computation of Skyline Queries with Dynamic Preferences.-  Efficient Discovery of Correlated Patterns in Transactional Databases Using Items' Support Intervals -- On Checking Executable Conceptual Schema Validity by Testing -- Querying Transaction-Time Databases under Branched Schema Evolution -- Fast Identity Anonymization on Graphs -- Probabilistic Inference of Fine-Grained Data Provenance -- Enhancing Utility and Privacy-Safety via Semi-homogenous Generalization.-Processing XML Twig Pattern Query with Wildcards -- A Direct Approach to Holistic Boolean-Twig Pattern Evaluation -- Full Tree-Based Encoding Technique for Dynamic XML Labeling Schemes -- Top-k Maximal Influential Paths in Network Data -- Learning to Rank from Concept-Drifting Network Data Streams -- Top-k Context-Aware Queries on Streams -- Fast Block-Compressed Inverted Lists.-  Positional Data Organization and Compression in Web Inverted Indexes.-Decreasing Memory Footprints for Better Enterprise Java Application Performance. Knowledge-Driven Syntactic Structuring: The Case of Multidimensional Space of Music Information -- Mining Frequent Itemsets Using Node-Sets of a Prefix-Tree -- MAX-FLMin: An Approach for Mining Maximal Frequent Links and Generating Semantical Structures from Social Networks.-  Sequenced Route Query in Road Network Distance Based on Incremental Euclidean Restriction -- Path-Based Constrained Nearest Neighbor Search in a Road Network -- Efficient Fuzzy Ranking for Keyword Search on Graphs.