Sciweavers

4944 search results - page 110 / 989
» From XML to Relational Models
Sort
View
ICALP
2005
Springer
15 years 12 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
VLDB
1987
ACM
72views Database» more  VLDB 1987»
15 years 9 months ago
Providing Time-Related Constraints for Conventional Database Systems
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
T. Abbod, K. Brown, H. Noble
ICSE
2000
IEEE-ACM
15 years 10 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
FCT
2007
Springer
16 years 16 days ago
On Notions of Regularity for Data Languages
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
Henrik Björklund, Thomas Schwentick
ICALT
2003
IEEE
15 years 11 months ago
A Conformance Test Suite of Localized LOM Model
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
Xin Xiang, Yuanchun Shi, Ling Guo