13 Hits in 3.6 sec

Valid-Time Selection and Projection [chapter]

Suchen Hsu, Christian S. Jensen, Richard T. Snodgrass
1995 The TSQL2 Temporal Query Language  
Legol 2.0 differs from other languages in that it is a rule-based, procedural query language. As our interest is declarative query languages, we examine Legol 2.0 only briefly.  ...  LEGOL 2.0 Legol 2.0 was the first relational query language to support temporal queries [9] . This language supports tuple-timestamped valid-time relations.  ... 
doi:10.1007/978-1-4615-2289-8_13 fatcat:6zv5s2iqv5bnzokjuct4qrpyum

Temporal databases status and research directions

Richard Snodgrass
1990 SIGMOD record  
O3~ [Jones et al. 1979 ] This paper described the first general historical query language, LEGOL 2.0.  ...  LEGOL 2.0 was an implemented algebraic query language that supported temporal joins, temporal selection, and temporal aggregates.  ... 
doi:10.1145/122058.122068 fatcat:ury4bavtbvbhlptdunpeowbdza

Literature survey of temporal data models

2017 International Journal of Latest Trends in Engineering and Technology  
This is a language designed specifically for law-making rules writing and high-level system spec. First time-oriented algebrawasdefined in this language.  ...  Wiederhold [3] developed the temporal data model to support medical applications specifically. Jones [5] proposed LEGOL 2.0.  ... 
doi:10.21172/1.841.47 fatcat:odbedlm2zrabrkqf3xnjroei5q

The Role of Semantics in Legal Expert Systems and Legal Reasoning

1991 Ratio Juris  
) for accounts of Legol-2.0 and Legol-2.1, the latter having been demonstrated in the 1979 Symposium on Computers and Law at Swansea. l2 Note how the syntax of this formalism guides the analyst.  ...  This is not the place to explain the Legol language for manipulating these structures and for expressing norms. An illustration will be enough.  ... 
doi:10.1111/j.1467-9337.1991.tb00094.x fatcat:xizglzuwnfg5lp5zugffh3s3q4

From database to normbase

R. Stamper, K. Liu, M. Kolkman, P. Klarenberg, F. Van Slooten, Y. Ades, C. Van Slooten
1991 International Journal of Information Management  
The existing specification languages embody a view of the world as an objective reality.  ...  At every stage of design, the specification is turned immediately into a default version of a working system.  ...  Amsterdam: North-Holland. a guide to the volumes of information to be handled. '*JONES, S., MASON, P.J. AND STAMPER, R.K. (1979). LEGOL-2.0: A relational specification language for complex rules.  ... 
doi:10.1016/0268-4012(91)90022-5 fatcat:q6252wm245cp5aux3pdhfyrkrq

Time-by-example query language for historical databases

A.U. Tansel, M.E. Arkun, G. Ozsoyoglu
1989 IEEE Transactions on Software Engineering  
Time-by-Example (TBE) is a user-friendly query language designed specifically for historical relational databases.  ...  Methodologies for translating TBE queries into HRA expressions and for constructing their parse trees are presented. Index Terms-Databases, historical databases, query languages, query processing.  ...  LEGOL 2.0 is a relational algebra based language developed for querying time-varying legal data [ 151.  ... 
doi:10.1109/32.16597 fatcat:lrvyrgkcz5b4tnjpeejumybrza

The TSQL2 Data Model [chapter]

Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo
1995 The TSQL2 Temporal Query Language  
Curtis Dyreson and Nick Kline provided helpful comments on a previous draft.  ...  Jones LEGOL 2.0 [JMS79] is a language designed to be used in database applications such as legislative rules writing and high-level system specification in which the temporal ordering of events and the  ...  Objects in the LEGOL 2.0 data model are relations as in the relational data model, with one distinction. Tuples in LEGOL 2.0 are assigned two implicit time attributes, Start and Stop.  ... 
doi:10.1007/978-1-4615-2289-8_10 fatcat:qickish7ljd5nc4ln2fbrjpppy

Studies in African Linguistics, Full issue (Vol. 20, No. 2)

Editors Editors
1989 Studies in African Linguistics  
of language specific rules and independently motivated general association conventions of auto segmental theory.  ...  On the evidence that rand ware both sonorants undergoing hardening and complex segment formation, it is more attractive to collapse rule (14) and rule (22) into a single rule to account for this process  ...  The volume contains nine descriptive studies covering two Chadic languages (Podoko and Zulgo), two Grassfields languages (Yemba and Mundani), and three Narrow Bantu languages (Nugunu, Duala, and Koozime  ... 
doi:10.32473/sal.v20i2.107562 fatcat:6aeza5ohpbebxhbcugpqbjxvxi

Aggregates in the temporal query language TQuel

R.T. Snodgrass, S. Gomez, L.E. McKenzie
1993 IEEE Transactions on Knowledge and Data Engineering  
TR 8E-009 This paper defines aggregates in the temporal query language TQuel and provides their rormal semantics in the tuple relational calculus. A rormal semantics (or Que!  ...  These aggregates give the user a rich set or statistical functions that range over time, while requiring minimal additions to TQuel and its semantics . .  ...  Peter Bloomfield for his remarks on the requirements of ex peri men· tal data in statistical time series that lead to the creation of the varts operator and to lisco Ahn, David Beard and Ed McKenzie for  ... 
doi:10.1109/69.243512 fatcat:7xtz7kpppndojnvocwt7ui46je

Temporal modelling and management of normative documents in XML format

Fabio Grandi, Federica Mandreoli, Paolo Tiberio
2005 Data & Knowledge Engineering  
Hence, we introduce a multiversion data model based on XML schema and define basic mechanisms for the maintenance and retrieval of multiversion norm texts.  ...  Finally, we describe a prototype management system which has been implemented and evaluated.  ...  The paper [17] presents a temporal XML query language, τ XQuery, with which the authors add temporal support to XQuery by extending its syntax and semantics.  ... 
doi:10.1016/j.datak.2004.11.002 fatcat:6nqy4t7krvhg5kjnjljkno4rly

Legal knowledge engineering: Computing, logic and law

Philip Leith
Our conclusion is that neither logic nor rule-based methods are sufficient for handling legal knowledge.  ...  The novelty and import of this thesis is not simply that it presents a negative conclusion; rather that it offers a sound theoretical and pragmatic framework for understanding why these methods are insufficient  ...  straightforward: "However, PRO LOG like LEGOL-2.0 appears to have no place for the kind of semantic structuring that is the main characteristic of other forms of Legol."  ... 
doi:10.21954/ fatcat:j42r7yc2dvbnpmwvkylxj3yovy

Geometric integrators and the Hamiltonian Monte Carlo method [article]

Nawaf Bou-Rabee, Jesús María Sanz-Serna
2017 arXiv   pre-print
This paper surveys in detail the relations between numerical integration and the Hamiltonian (or hybrid) Monte Carlo method (HMC).  ...  While at present the velocity Verlet algorithm is the method of choice for good reasons, we argue that Verlet can be improved upon.  ...  , Legoll and Stoltz 2007 .  ... 
arXiv:1711.05337v1 fatcat:ai2uno5v4veojkdw33tjh3ihge

Born on 19 NOVEMBER 1980 in COMILLA (Bangladesh)

Monica Palmirani, Monica Palmirani, Monica Palmirani, Monica Supervisor, Leon Van Der Torre, Mizanur Rahman, Sonia Bergamaschi
2012 unpublished
technologically , (b) to construct and implement legal ontology for nexus extracted from EU water, energy and food Regulations in OWL 2 language, which is a part of the grater work of implementing legal  ...  knowledge framework for water-energy-food nexus proposed through the compilation of objective (a).  ...  and their relations in a representational language, e.g.  ...