scholarly journals XPath-logic and XPathLog: A logic-programming style XML data manipulation language

2004 ◽  
Vol 4 (3) ◽  
pp. 239-287 ◽  
Author(s):  
WOLFGANG MAY
Keyword(s):  
Logic Programming ◽  
Data Model ◽  
Formal Semantics ◽  
Xml Data ◽  
First Order ◽  
Answer Set Semantics ◽  
Manipulation Language ◽  
Horn Fragment ◽  
Main Language

We define XPathLog as a Datalog-style extension of XPath. XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives are especially in XML data integration. In our characterization, the formal semantics is defined wrt. an edge-labeled graph-based model, which covers the XML data model. We give a complete, logic-based characterization of XML data and the main language concept for XML, XPath. XPath-Logic extends the XPath language with variable bindings and embeds it into first-order logic. XPathLog is then the Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating XML data. The model-theoretic semantics of XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries is given. In contrast to other approaches, the XPath syntax and semantics is also used for a declarative specification how the database should be updated: when used in rule heads, XPath filters are interpreted as specifications of elements and properties which should be added to the database.

scholarly journals Characterization of Dissipative Structures for First-Order Symmetric Hyperbolic System with General Relaxation

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 728
Author(s):  
Yasunori Maekawa ◽  
Yoshihiro Ueda
Keyword(s):  
Hyperbolic System ◽  
Dissipative Structure ◽  
Dissipative Structures ◽  
Algebraic Characterization ◽  
Symmetric Hyperbolic System ◽  
Full Generality ◽  
Order Linear ◽  
First Order

In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1. Our result extends the classical Shizuta–Kawashima condition for the case of symmetric relaxation, with a full generality and optimality.

scholarly journals On Consensus Index of Triplex Star-Like Networks: A Graph Spectra Approach

Symmetry ◽  
2021 ◽  
Vol 13 (7) ◽  
pp. 1248
Author(s):  
Da Huang ◽  
Jian Zhu ◽  
Zhiyong Yu ◽  
Haijun Jiang
Keyword(s):  
Algebraic Connectivity ◽  
Multi Agent Systems ◽  
Graph Spectra ◽  
Asymptotic Behaviors ◽  
Agent Systems ◽  
First Order ◽  
Laplacian Spectra ◽  
Multi Agent ◽  
Consensus Index

In this article, the consensus-related performances of the triplex multi-agent systems with star-related structures, which can be measured by the algebraic connectivity and network coherence, have been studied by the characterization of Laplacian spectra. Some notions of graph operations are introduced to construct several triplex networks with star substructures. The methods of graph spectra are applied to derive the network coherence, and some asymptotic behaviors of the indices have been derived. It is found that the operations of adhering star topologies will make the first-order coherence increase a constant value under the triplex structures as parameters tend to infinity, and the second-order coherence have some equality relations as the node related parameters tend to infinity. Finally, the consensus related indices of the triplex systems with the same number of nodes but non-isomorphic graph structures have been compared and simulated to verify the results.

scholarly journals Numerical Characterization of Cohesive and Non-Cohesive ‘Sediments’ under Different Consolidation States Using 3D DEM Triaxial Experiments

Processes ◽  
2020 ◽  
Vol 8 (10) ◽  
pp. 1252
Author(s):  
Hadar Elyashiv ◽  
Revital Bookman ◽  
Lennart Siemann ◽  
Uri ten Brink ◽  
Katrin Huhn
Keyword(s):  
Mechanical Response ◽  
Burial Depth ◽  
Cohesive Sediments ◽  
Third Order ◽  
First Order ◽  
Numerical Characterization ◽  
Response To Stress ◽  
Bond Strengths ◽  
Individual Bond

The Discrete Element Method has been widely used to simulate geo-materials due to time and scale limitations met in the field and laboratories. While cohesionless geo-materials were the focus of many previous studies, the deformation of cohesive geo-materials in 3D remained poorly characterized. Here, we aimed to generate a range of numerical ‘sediments’, assess their mechanical response to stress and compare their response with laboratory tests, focusing on differences between the micro- and macro-material properties. We simulated two endmembers—clay (cohesive) and sand (cohesionless). The materials were tested in a 3D triaxial numerical setup, under different simulated burial stresses and consolidation states. Variations in particle contact or individual bond strengths generate first order influence on the stress–strain response, i.e., a different deformation style of the numerical sand or clay. Increased burial depth generates a second order influence, elevating peak shear strength. Loose and dense consolidation states generate a third order influence of the endmember level. The results replicate a range of sediment compositions, empirical behaviors and conditions. We propose a procedure to characterize sediments numerically. The numerical ‘sediments’ can be applied to simulate processes in sediments exhibiting variations in strength due to post-seismic consolidation, bioturbation or variations in sedimentation rates.

Sign in / Sign up

Export Citation Format

Share Document