A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Author(s):  
Béatrice Bouchou ◽  
Mirian Halfeld-Ferrari ◽  
Maria Adriana Vidigal Lima
Author(s):  
Alessandro Campi

This Chapter describes a visual framework; called XQBE; that covers the most important aspects of XML data management; spanning the visualization of XML documents; the formulation of queries; the representation and specification of document schemata; the definition of integrity constraints; the formulation of updates; and the expression of reactive behaviors in response to data modifications. All these features are strongly unified by a common visual abstraction and a few recurrent paradigms; so as to provide a homogeneous and comprehensive environment that allows even users without advanced programming skills to deal with nontrivial XML data management and transformation tasks. The intrinsic ambiguity inherent in any visual representation of richly expressive languages required a considerable effort of formalization in the semantics of XQBE that eventually lead to a solution with major advantages in terms of intuitiveness. In other words; this means that the unique (and unambiguous) effect of a statement is the one the user would expect.


Author(s):  
D. Barbosa ◽  
A.O. Mendelzon ◽  
L. Libkin ◽  
L. Mignet ◽  
M. Arenas

2015 ◽  
Vol 09 (01) ◽  
pp. 67-103
Author(s):  
Nikos Papadakis ◽  
Sokratis Kartakis ◽  
Kostas Papadakis ◽  
Eva Papadaki

In this paper, we study the ramification problem in the setting of spatial xml data. Standard solutions from the literature on reasoning about action are inadequate because they cannot capture integrity constraints in spatial data. In this paper, we provide a solution to the ramification problem based on situation calculus. We present a tool that connects the theoretical results with the practical considerations, by producing the User Interface in C# in order to address the ramification problem in spatial XML file in specific time period. a


2004 ◽  
Vol 29 (4) ◽  
pp. 710-751 ◽  
Author(s):  
Andrey Balmin ◽  
Yannis Papakonstantinou ◽  
Victor Vianu

2011 ◽  
Vol 21 (SI) ◽  
pp. 95-123 ◽  
Author(s):  
François Pinet ◽  
Magali Duboisset ◽  
Michel Schneider

2021 ◽  
Vol 11 (2) ◽  
pp. 582
Author(s):  
Zean Bu ◽  
Changku Sun ◽  
Peng Wang ◽  
Hang Dong

Calibration between multiple sensors is a fundamental procedure for data fusion. To address the problems of large errors and tedious operation, we present a novel method to conduct the calibration between light detection and ranging (LiDAR) and camera. We invent a calibration target, which is an arbitrary triangular pyramid with three chessboard patterns on its three planes. The target contains both 3D information and 2D information, which can be utilized to obtain intrinsic parameters of the camera and extrinsic parameters of the system. In the proposed method, the world coordinate system is established through the triangular pyramid. We extract the equations of triangular pyramid planes to find the relative transformation between two sensors. One capture of camera and LiDAR is sufficient for calibration, and errors are reduced by minimizing the distance between points and planes. Furthermore, the accuracy can be increased by more captures. We carried out experiments on simulated data with varying degrees of noise and numbers of frames. Finally, the calibration results were verified by real data through incremental validation and analyzing the root mean square error (RMSE), demonstrating that our calibration method is robust and provides state-of-the-art performance.


Sign in / Sign up

Export Citation Format

Share Document