Abstract Versus Concrete Temporal Query LanguagesJan Chomicki, University at Buffalo, USA, http://www.cse.buffalo.edu/~chomicki David Toman, University of Waterloo, Canada, http://www.cs
Trang 1Temporal Database Entries for the
Springer Encyclopedia of Database Systems
Christian S Jensen and Richard T Snodgrass (Editors)
May 22, 2008
TR-90
Trang 2Title Temporal Database Entries for the
Springer Encyclopedia of Database SystemsCopyright c
TIMECENTERParticipants
Aalborg University, Denmark
Christian S Jensen (codirector), Simonas ˇSaltenis, Kristian Torp
University of Arizona, USA
Richard T Snodgrass (codirector), Sudha Ram
Individual participants
Yun Ae Ahn, Chungbuk National University, Korea; Michael H B¨ohlen, Free University of Bolzano, Italy; Curtis
E Dyreson, Utah State University, USA; Dengfeng Gao, IBM Silicon Valley Lab, USA; Fabio Grandi, sity of Bologna, Italy; Vijay Khatri, Indiana University, USA; Nick Kline, Microsoft, USA; Gerhard Knolmayer,University of Bern, Switzerland; Carme Mart´ın, Technical University of Catalonia, Spain; Thomas Myrach, Uni-versity of Bern, Switzerland; Kwang W Nam, Chungbuk National University, Korea; Mario A Nascimento,University of Alberta, Canada; John F Roddick, Flinders University, Australia; Keun H Ryu, Chungbuk Na-tional University, Korea; Dennis Shasha, New York University, USA; Paolo Terenziani, University of PiemonteOrientale “Amedeo Avogadro,” Alessandria, Italy; Vassilis Tsotras, University of California, Riverside, USA;Fusheng Wang, Siemens, USA; Jef Wijsen, University of Mons-Hainaut, Belgium; and Carlo Zaniolo, University
Univer-of California, Los Angeles, USA
For additional information, see The TIMECENTERHomepage:
URL:<http://www.cs.aau.dk/TimeCenter>
Any software made available via TIMECENTERis provided “as is” and without any express or implied warranties, including, without limitation, the implied warranty of merchantability and fitness for a particular purpose.
The TIMECENTERicon on the cover combines two “arrows.” These “arrows” are letters in the so-called Rune
alphabet used one millennium ago by the Vikings, as well as by their precedessors and successors The Runealphabet (second phase) has 16 letters, all of which have angular shapes and lack horizontal lines because theprimary storage medium was wood Runes may also be found on jewelry, tools, and weapons and were perceived
by many as having magic, hidden powers
The two Rune arrows in the icon denote “T” and “C,” respectively
Trang 3In January 2007 Ling Liu and Tamer ¨Ozsu started work on an Encyclopedia of Database Systems to be lished by Springer We were asked to edit the encyclopedia entries that relate to the area of temporal databases.This report collects versions of the temporal database entries as of May, 2008 These entries are preliminary inseveral respects First, the entries have not been subjected to Springer’s final copyediting Second, they are onlyapproximately formatted: they will look much better in their final form Third, in contrast to the entries in theirfinal form, the entries in the technical report cannot be searched electronically (see below) And fourth, the reader
pub-does not get the benefit of the other entries available in the full encyclopedia Nonetheless, the content appearing
here is close to that which will appear in the final encyclopedia, and the entries included here provide a succinctand broad overview of the contributions and structure of the area of temporal databases
The complete encyclopedia, in which the final entries will appear, will be in multiple volumes It will constitute
a comprehensive and authoritative reference on databases, data management, and database systems Since it will
be available in both print and online formats, researchers, students, and practitioners will benefit from advancedsearch functionality and convenient interlinking possibilities with related online content The Encyclopedia’sonline version will be accessible on the SpringerLink platform (http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-49616-0)
We thank the more than two dozen authors who contributed to these entries; some contributed to multipleentries We list those authors here
Arie ShoshaniRichard T Snodgrass
V S SubrahmanianAbdullah Uz TanselPaolo TerenzianiDavid TomanKristian TorpVassilis J Tsotras
X Sean WangJef WijsenYue ZhangAll entries were reviewed by several experts, underwent one or several revisions, and were eventually accepted
by an Associate Editor of the encyclopedia The authors represent in concert over three centuries of innovative
research in temporal databases, experience that informs the content of these entries
We thank Springer for providing useful online tools for managing the logistics of this large project and forinvesting heavily to ensure a highly useful and authoritative resource for the database community and for othersinterested in this technology Finally, we thank Jennifer Carlson and Simone Tavenrath, who so effectively andcheerfully managed the process at Springer; Jennifer Evans, also at Springer, who consistently supported thiseffort; and Ling and Tamer, for heading up this effort and insisting on the highest quality from the very beginning
Richard Snodgrass and Christian S Jensen
May 2008
i
Trang 4ii
Trang 630 SQL-Based Temporal Query Languages 93
iv
Trang 9C S Jensen and C E Dyreson (eds), M B¨ohlen, J Clifford, R Elmasri, S K Gadia, F Grandi, P Hayes,
S Jajodia, W K¨afer, N Kline, N Lorentzos, Y Mitsopoulos, A Montanari, D Nonen, E Peressi, B Pernici,J.F Roddick, N L Sarda, M R Scalas, A Segev, R T Snodgrass, M D Soo, A Tansel, R Tiberio and
G Wiederhold, “A Consensus Glossary of Temporal Database Concepts—February 1998 Version,” in TemporalDatabases: Research and Practice, O Etzion, S Jajodia, and S Sripada (eds.), LNCS 1399, Springer-Verlag,
pp 367–405, 1998
1
Trang 11Abstract Versus Concrete Temporal Query Languages
Jan Chomicki, University at Buffalo, USA, http://www.cse.buffalo.edu/~chomicki David Toman, University of Waterloo, Canada, http://www.cs.uwaterloo.ca/~david
of data on time are captured by and represented in the underlying temporal data model
HISTORICAL BACKGROUND
Most databases store time-varying information On the other hand, SQL is often the language of choice fordeveloping applications that utilize the information in these databases Plain SQL, however, does not seem toprovide adequate support for temporal applications
Example To represent the employment histories of persons, a common relational design would use a schema
Employment(FromDate, ToDate, EID, Company),with the intended meaning that a person identified by EID worked for Company continuously from FromDate toToDate Note that while the above schema is a standard relational schema, the additional assumption that thevalues of the attributes FromDate and ToDate represent continuous periods of time is itself not a part of therelational model
Formulating even simple queries over such a schema is non-trivial: for example the query GAPS: “List all personswith gaps in their employment history, together with the gaps” leads to a rather complex formulation in, e.g.,SQL over the above schema (this is left as a challenge to readers who consider themselves SQL experts; for a list ofappealing, but incorrect solutions, including the reasons why, see [9]) The difficulty arises because a single tuple
in the relation is conceptually a compact representation of a set of tuples, each tuple stating that an employmentfact was true on a particular day
The tension between the conceptual abstract temporal data model (in the example, the property thatemployment facts are associated with individual time instants) and the need for an efficient and compactrepresentation of temporal data (in the example, the representation of continuous periods by their start andend instants) has been reflected in the development of numerous temporal data models and temporal querylanguages [3]
SCIENTIFIC FUNDAMENTALS
Temporal query languages are commonly defined using temporal extensions of existing non-temporal querylanguages, such as relational calculus, relational algebra, or SQL The temporal extensions can be categorized intwo, mostly orthogonal, ways:
The choice of the actual temporal values manipulated by the language This choice is primarily determined bythe underlying temporal data model The model also determines the associated operations on these values.The meaning of temporal queries is then defined in terms of temporal values and operations on them, andtheir interactions with data (non-temporal) values in a temporal database
Trang 12The choice of syntactic constructs to manipulate temporal values in the language This distinction determineswhether the temporal values in the language are accessed and manipulated explicitly, in a way similar toother values stored in the database, or whether the access is implicit, based primarily on temporally extendingthe meaning of constructs that already exist in the underlying non-temporal language (while still using theoperations defined by the temporal data model).
Additional design considerations relate to compatibility with existing query languages, e.g., the notion of temporalupward compatibility
However, as illustrated above, an additional hurdle stems from the fact that many (early) temporal querylanguages allowed the users to manipulate a finite underlying representation of temporal databases rather thanthe actual temporal values/objects in the associated temporal data model A typical example of this situationwould be an approach in which the temporal data model is based on time instants, while the query languageintroduces interval-valued attributes Such a discrepancy often leads to a complex and unintuitive semantics ofqueries
In order to clarify this issue, Chomicki has introduced the notions of abstract and concrete temporal databasesand query languages [2] Intuitively, abstract temporal query languages are defined at the conceptual level of thetemporal data model, while their concrete counterparts operate directly on an actual compact encoding of temporaldatabases The relationship between abstract and concrete temporal query languages is also implicitly present
in the notion of snapshot equivalence [7] Moreover, Bettini et al [1] proposed to distinguish between explicitand implicit information in a temporal database The explicit information is stored in the database and used toderive the implicit information through semantic assumptions Semantic assumptions about fact persistence play
a role similar to mappings between concrete and abstract databases, while other assumptions are used to addresstime-granularity issues
Abstract Temporal Query Languages
Most temporal query languages derived by temporally extending the relational calculus can be classified asabstract temporal query languages Their semantics is defined in terms of abstract temporal databases which, inturn, are typically defined within the point-stamped temporal data model, in particular without any additionalhidden assumptions about the meaning of tuples in instances of temporal relations
Example The employment histories in an abstract temporal data model would most likely be captured by asimpler schema “Employment(Date, EID, Company)”, with the intended meaning that a person identified by EIDwas working for Company on a particular Date While instances of such a schema can be potentially very large(especially when a fine granularity of time is used), formulating queries is now much more natural
Choosing abstract temporal query languages over concrete ones resolves the first design issue: the temporal valuesused by the former languages are time instants equipped with an appropriate temporal ordering (which is typically
a linear order over the instants), and possibly other predicates such as temporal distance The second designissue—access to temporal values—may be resolved in two different ways, as exemplified by the following twodifferent query languages:
•Temporal Relational Calculus (TRC): a two-sorted first-order logic with variables and quantifiers explicitlyranging over the time and data domains (see the entry Temporal Relational Calculus)
•First-order Temporal Logic (FOTL): a language with an implicit access to timestamps using temporalconnectives (see the entry Temporal Logic in Database Query Languages)
Example The GAPS query is formulated as follows:
TRC: ∃t1, t3.t1< t2< t3∧ ∃c.Employment(t1, x, c) ∧ (¬∃c.Employment(t2, x, c)) ∧ ∃c.Employment(t3, x, c)FOTL: 3∃c.Employment(x, c) ∧ (¬∃c.Employment(x, c)) ∧ 2∃c.Employment(x, c)
Here, the explicit access to temporal values (in TRC) using the variables t1, t2, and t3can be contrasted with theimplicit access (in FOTL) using the temporal operators3 (read “sometime in the past”) and 2 (read “sometime
in the future”) The conjunction in the FOTL query represents an implicit temporal join The formulation in
2
Trang 13TRC leads immediately to an equivalent way of expressing the query in SQL/TP [9], an extension of SQL based
on TRC (see the entry SQL-based Temporal Query Languages)
Example The above query can be formulated in SQL/TP as follows:
SELECT t.Date, e1.EID
FROM Employment e1, Time t, Employment e2
WHERE e1.EID = e2.EID AND e1.Date < e2.Date
AND NOT EXISTS ( SELECT *
FROM Employment e3WHERE e1.EID = e3.EID AND t.Date = e3.DateAND e1.Date < e3.Date AND e3.Date < e2.Date )The unary constant relation Time contains all time instants in the time domain (in our case, all Dates) and isonly needed to fulfill syntactic SQL-style requirements on attribute ranges However, despite of the fact that theinstance of this relation is not finite, the query can be efficiently evaluated [9]
Note also that in all the above cases, the formulation is exactly the same as if the underlying temporal databaseused the plain relational model (allowing for attributes ranging over time instants)
The two languages, FOTL and TRC, are the counterparts of the snapshot and timestamp models (cf the entryPoint-stamped Data Models) and are the roots of many other temporal query languages, ranging from the moreTRC-like temporal extensions of SQL, to more FOTL-like temporal relational algebras (e.g., the conjunction intemporal logic directly corresponds to a temporal join in a temporal relational algebra, as both of them induce
an implicit equality on the associated time attributes) The precise relationship between these two groups oflanguages is investigated in the entry Temporal Logic in Database Query Languages
Temporal integrity constraints over point-stamped temporal databases can also be conveniently expressed inTRC or FOTL (see the entry Temporal Integrity Constraints)
Multiple Temporal Dimensions and Complex Values While the abstract temporal query languages are typicallydefined in terms of the point-based temporal data model, they can similarly be defined with respect to complextemporal values, e.g., pairs (or tuples) of time instants or even sets of time instants In these cases, in particular
in the case of set-valued attributes, it is important to remember that the set values are treated as indivisibleobjects, and hence truth (i.e., query semantics) is associated with the entire objects, but not necessarily withtheir components/subparts For a detailed discussion of this issue, see the entry Telic Distinction in TemporalDatabases
Concrete Temporal Query Languages
Although abstract temporal query languages provide a convenient and clean way of specifying queries, theyare not immediately amenable to implementation: the main problem is that, in practice, in temporal databasesfacts persist over periods of time Storing all true facts individually for every time instant during a period would
be prohibitively expensive or, in the case of infinite time domains such as dense time, even impossible
Concrete temporal query languages avoid these problems by operating directly on the compact encodings oftemporal databases (see the discussion of compact encodings in the entry on Point-stamped Temporal Models).The most commonly used encoding is the one that uses intervals However, in this setting, a tuple that associates
a fact with such an interval is a compact representation of the association between the same fact and all the timeinstants that belong to this interval This observation leads to the design choices that are commonly present insuch languages:
•Coalescing is used, explicitly or implicitly, to consolidate representations of (sets of) time instants associatedwith the same fact In the case of interval-based encodings, this leads to coalescing adjoining or overlappingintervals into a single interval (see the entry Temporal Coalescing) Note that coalescing only changes theconcrete representationof a temporal relation, not its meaning (i.e., the abstract temporal relation); hence
it has no counterpart in abstract temporal query languages
•Implicit set operations on time values are used in relational operations For example, conjunction (join)
3
Trang 14typically uses set intersection to generate a compact representation of the time instants attached to the facts
in the result of such an operation
Example For the running example, a concrete schema for the employment histories would typically be defined
as “Employment(VT, EID, Company)”, where VT is a valid time attribute ranging over periods (intervals) TheGAPS query can be formulated in a calculus-style language corresponding to TSQL2 (see the entry on TSQL2)along the following lines:
∃I1, I2.[∃c.Employment(I1, x, c)] ∧ [∃c.Employment(I2, x, c)] ∧ I1precedes I2∧ I = [end(I1) + 1, begin(I2) − 1]
In particular, the variables I1 and I2 range over periods and the precedes relationship is one of Allen’s intervalrelationships The final conjunct, I = [end(I1) + 1, begin(I2) − 1], creates a new period corresponding to the timeinstants related to a person’s gap in employment; this interval value is explicitly constructed from the end andstart points of I1and I2, respectively For the query to be correct, however, the results of evaluating the bracketedsubexpressions, e.g., “[∃c.Employmeent(I1, x, c)] ,” have to to be coalesced Without the insertion of the explicitcoalescing operators, the query is incorrect To see that, consider a situation in which a person p0is first employed
by a company c1, then by c2, and finally by c3, without any gaps in employment Then without coalescing ofthe bracketed subexpressions of the above query, p0 will be returned as a part of the result of the query, which isincorrect Note also that it is not enough for the underlying (concrete) database to be coalesced
The need for an explicit use of coalescing makes often the formulation of queries in some concrete SQL-basedtemporal query languages cumbersome and error-prone
An orthogonal issue is the difference between explicit and implicit access to temporal values: this distinctioncarries over to the concrete temporal languages as well Typically, the various temporal extensions of SQL arebased on the assumption of an explicit access to temporal values (often employing a built-in valid time attributeranging over intervals or temporal elements), while many temporal relational algebras have chosen to use theimplicit access based on temporally extending standard relational operators such as temporal join or temporalprojection
All Timestamp/Snapshot Temporal Databases
Finitely Representable Temporal Databases
Interval-encoded Temporal Databases
{ (1998, John), (1999, John),
, (2002, John) } Q(D) -
{ ([1990, 1997], John, IBM), ([2003, 2008], John, MS), ([1992, 2005], Sue, MS), ([2005, +∞], Sue, SAP) }
{ ([1990, 1997], John, IBM), ([2003, 2008], John, MS), ([1992, 1999], Sue, MS), ([2000, 2005], Sue, MS), ([2005, +∞], Sue, SAP) }
{([1998, 2002], John)}
{([1998, 1999], John), ([2000, 2002], John) } eval(Q)(E1) -
6k.k
Figure 1: Query Evaluation over Interval Encodings of Point-stamped Temporal Databases
4
Trang 15Compilation and Query Evaluation An alternative to allowing users direct access to the encodings of temporaldatabases is to develop techniques that allow the evaluation of abstract temporal queries over these encodings.The main approaches are based on query compilation techniques that map abstract queries to concrete queries,while preserving query answers More formally:
Q(kEk) = keval(Q)(E)k,where Q an abstract query, eval(Q) the corresponding concrete query, E is a concrete temporal database, andk.k a mapping that associates encodings (concrete temporal databases) with their abstract counterparts (cf.Figure 1) Note that a single abstract temporal database, D, can be encoded using several different instances ofthe corresponding concrete database, e.g., E1 and E2 in Figure 1
Most of the practical temporal data models adopt a common approach to physical representation of temporaldatabases: with every fact (usually represented as a tuple), a concise encoding of the set of time points at which thefact holds is associated The encoding is commonly realized by intervals [6, 7] or temporal elements (finite unions
of intervals) For such an encoding it has been shown that both First-Order Temporal Logic [4] and TemporalRelational Calculus [8] queries can be compiled to first-order queries over a natural relational representation ofthe interval encoding of the database Evaluating the resulting queries yields the interval encodings of the answers
to the original queries, as if the queries were directly evaluated on the point-stamped temporal database Similarresults can be obtained for more complex encodings, e.g., periodic sets, and for abstract temporal query languagesthat adopt the duplicate semantics matching the SQL standard, such as SQL/TP [9]
KEY APPLICATIONS
Temporal query languages are primarily used for querying temporal databases However, because of theirgenerality they can be applied in other contexts as well, e.g., as an underlying conceptual foundation for queryingsequences and data streams [5]
CROSS REFERENCE
Allen’s relations, bitemporal relation, constraint databases, key, nested relational model, non first normal form(N1NF), point-stamped temporal models, relational model, snapshot equivalence, SQL, telic distinction intemporal databases, temporal coalescing, temporal data models, temporal element, temporal granularity, temporalintegrity constraints, temporal join, temporal logic in database query languages, temporal relational calculus andalgebra, time domain, time instant, TSQL2, transaction time, valid time
on Database Systems, 26(2):145–178, 2001
[5] Y.-N Law, H Wang, and C Zaniolo Query Languages and Data Models for Database Sequences and Data Streams
In International Conference on Very Large Data Bases, pages 492–503, 2004
[6] S B Navathe and R Ahmed Temporal Extensions to the Relational Model and SQL In A Tansel, J Clifford,
S Gadia, S Jajodia, A Segev, and R T Snodgrass, editors, Temporal Databases: Theory, Design, andImplementation, pages 92–109 Benjamin/Cummings, 1993
[7] R T Snodgrass The Temporal Query Language TQuel ACM Trans Database Syst., 12(2):247–298, 1987
[8] D Toman Point vs Interval-based Query Languages for Temporal Databases In ACM Symposium on Principles ofDatabase Systems, pages 58–67, 1996
[9] D Toman Point-based Temporal Extensions of SQL In International Conference on Deductive and Object-OrientedDatabases, pages 103–121, 1997
5
Trang 17ALLEN’S RELATIONS
Peter Revesz, University of Nebraska-Lincoln, http://www.cse.unl.edu/~revesz/
Paolo Terenziani Universita’ del Piemonte Orientale “Amedeo Avogadro”,
A (convex) time interval I is the set of all time points between a starting point (usually denoted
time intervals [1] There are 13 different possibilities, depending on the relative positions of the endpoints of the intervals
For example, “There will be a guest speaker during the Database System class” can be
considering the relative position of the endpoints; point relations are discussed in the entry
“Temporal Constraints” of this Encyclopedia) Moreover, any subset of the 13 relations,
relations in Allen’s Algebra) Such subsets are used in order to denote ambiguous cases, in
Trang 18has been the first application of Allen’s relations A graphical representation of the basic 13 Allen’s relations is shown in the following figure
Allen’s relations are specific cases of temporal constraints (see the entry “Temporal Constraints”
of this Encyclopedia): namely, they are qualitative temporal constraints between time intervals
Given a set of such constraints, qualitative temporal reasoning can be used in order to make
inferences (e.g., to check whether the set of constraints is consistent; see in the entry
“Qualitative temporal reasoning” of this Encyclopedia)
Finally, notice that, in many entries of this Encyclopedia, the term (time) period has been used with the same meaning of (time) interval in this entry
Trang 19APPLICABILITY PERIOD
Christian S Jensen Aalborg University, Denmark
Richard T Snodgrass University of Arizona http://www.cs.arizona.edu/people/rts/
SYNONYMS
none
DEFINITION
The applicability period (or period of applicability) for a modification (generally an insertion, deletion,
or update) is the time period for which that modification is to apply to Generally the modification is asequenced modification and the period applies to valid time This period should be distinguished fromlifespan
For insertions, the applicability period is the valid time of the fact being inserted The following states that Ben
is in the book department for one month in 2007
INSERT INTO EMPLOYEE
VALUES (’Ben’, ’Book’)
VALID PERIOD ’[15 Feb 2007, 15 Mar 2007]’
For a deletion, the applicability period states for what period of time the deletion is to apply The followingmodification states that Ben in fact wasn’t in the book department during March
DELETE FROM EMPLOYEE
WHERE Name = ’Ben’
VALID PERIOD ’[1 Mar 2007, 31 Mar 2007]’
After this modification, the lifespan would be February 15 through February 28
Similarly, the applicability period for an UPDATE statement would affect the stored state just for the applicabilityperiod
A current modification has a default applicability period that either extends from the time the statement isexecuted to forever or, when now-relative time is supported, from the time of execution to the ever-increasingcurrent time for insertions
Trang 20R T Snodgrass, Developing Time-Oriented Database Applications in SQL, Morgan Kaufmann ers, Inc., San Francisco, CA, July 1999, 504+xxiv pages.
Publish-2
Trang 21vgorqtcn"fcvc"f"vjcv"jqnfu"cv"xcnkf"vkog"v"*yjgtg"v"ku"c"vkog"rgtkqf+"vjcv"f"jqnfu"kp"cp{"uwd/" rgtkqf"*cpf"uwd/rqkpv+"qh"v"ecp"dg"kphgttgf"htqo"vgorqtcn"fcvc"f"vjcv"jqnfu"cv"xcnkf"vkog"v"
*yjgtg"v"ku"c"vkog"rgtkqf+0
vgorqtcn"fcvc"f"vjcv"jqnfu"cv"vyq"eqpugewvkxg"qt"qxgtncrrkpi"vkog"rgtkqfu"v3"cpf"v4"vjcv"f" jqnfu"kp"vjg"wpkqp"vkog"rgtkqf"v3∪ v40"
Cvgnke"fcvc"ku"fkhhgtgpvkcvgf"htqo"vgnke"fcvc."kp"yjkej"pgkvjgt"wryctf"pqt"fqypyctf"kpjgtkvcpeg" jqnfu0
Trang 22Uvctvkpi"htqo"Ctkuvqvng."tgugctejgtu"kp"ctgcu"uwej"cu"rjknquqrj{."nkpiwkuvkeu."eqipkvkxg"uekgpeg" cpf"eqorwvgt"uekgpeg"jcxg"pqvkegf"vjcv"fkhhgtgpv"v{rgu"qh"hcevu"ecp"dg"fkuvkpiwkujgf"ceeqtfkpi" vq"vjgkt"vgorqtcn"dgjcxkqt0"Urgekhkecnn{."ukpeg"cvgnke"hcevu"fq"pqv"jcxg"cp{"urgekhke"iqcn"qt"
ewnokpcvkqp."vjg{"ecp"dg"uggp"cu"Ðvgorqtcnn{"jqoqigpgqwuÑ"hcevu."uq"vjcv"dqvj"wryctf"cpf" fqypyctf"kpjgtkvcpeg"jqnfu"hqt"vjgo0"Hqt"gzcorng."vjg hcev"vjcv"cp"gornq{gg"*uc{."Lqjp+"yqtmu" hqt"c"eqorcp{"*uc{."CEOG+"yqwnf"dg"eqpukfgtgf"cvgnke"dgecwug"qh"ncem"qh"iqcn"qt"
ceeqornkujogpv0" Cu"c"eqpugswgpeg."kh"Lqjp"jcu"yqtmgf"hqt"CEOG"htqo"Lcpwct{"42"4229"vq" Ugrvgodgt"45"4229."kv"ecp"dg"eqttgevn{"kphgttgf"vjcv"Lqjp"ycu"yqtmkpi"hqt"CEOG"kp"Oc{"4229"
*qt"cv"cp{"urgekhke"vkog"rqkpv"kp"Oc{="vjgtghqtg."fqypyctf"kpjgtkvcpeg"fqgu"jqnf+="hwtvjgtoqtg." htqo"vjg"cffkvkqpcn"hcev"vjcv"Lqjp"jcu"cnuq"yqtmgf"hqt"CEOG"htqo"Ugrvgodgt"45"4229"vq"
Hgdtwct{"4"422:."kv"ecp"dg"eqttgevn{"kphgttgf"vjcv"Lqjp"yqtmgf"hqt"CEOG"htqo"Lcpwct{"42"4229" vq"Hgdtwct{"4"422:"*vjgtghqtg."wryctf"kpjgtkvcpeg"fqgu"jqnf+0"
Kp"CtkuvqvngÓu"ecvgiqtk|cvkqp."cnn"rquukdng"hcevu"ctg"fkxkfgf"kpvq"vyq"ecvgiqtkgu."vgnke"cpf"cvgnke="c" vgnke"hcev."g0i0."ÐLqjp"dwknv"c"jqwugÑ"jcu"iqcn"qt"ewnokpcvkqp0"
Ukpeg"dqvj"wryctf"cpf"fqypyctf"kpjgtkvcpeg"rtqrgtvkgu"jqnf"hqt"cvgnke"fcvc."uwej"fcvc"uwrrqtvu" vjg"eqpxgpvkqpcn"Ðupcrujqv/d{/upcrujqvÑ"*k0g0."rqkpv/dcugf+"xkgyrqkpv<"vjg"kpvgpfgf"ugocpvkeu"qh" c"vgorqtcn"fcvcdcug"ku"vjg"ugv"qh"eqpxgpvkqpcn"*cvgorqtcn+"fcvcdcugu"jqnfkpi"cv"gcej"vkog" rqkpv0"Cu"c"eqpugswgpeg."oquv"crrtqcejgu"vq"vgorqtcn"fcvcdcugu"uwrrqtv"*qpn{+"cvgnke"hcevu" gxgp"kh."kp"ugxgtcn"ecugu."vjg"tgrtgugpvcvkqp"cnnqyu."cu"c"u{pvcevke"uwict."vjg"wug"qh"rgtkqfu"vq" fgpqvg"eqpxgz"ugvu"qh"vkog"rqkpvu0"Cp"kpvgitcvgf"vgorqtcn"fcvcdcug"oqfgn"vjcv"uwrrqtvu"dqvj" vgnke"cpf"cvgnke"fcvc"ugocpvkeu"jcu"dggp"fgxgnqrgf"]4_0"
Trang 23Oquv"qh"vjg"gctn{"yqtm"qp"vgorqtcn"kpfgzkpi"jcu"eqpegpvtcvgf"qp"rtqxkfkpi"uqnwvkqpu"hqt"vtcpucevkqp/vkog"fcvcdcugu0"C"dcuke"rtqrgtv{"qh"vtcpucevkqp/vkog"ku"vjcv"kv"cnyc{u"kpetgcugu0"Gcej"pgyn{"tgeqtfgf"rkgeg"qh"fcvc"ku"vkog/uvcorgf"ykvj"c"pgy."nctigt."vtcpucevkqp"vkog0"Vjg"koogfkcvg"kornkecvkqp"qh"vjku"rtqrgtv{"ku"vjcv"rtgxkqwu"vtcpucevkqp"vkogu"ecppqv"dg"ejcpigf0"Jgpeg."c"vtcpucevkqp/vkog"fcvcdcug"ecp"ÐtqnndcemÑ"vq."qt"cpuygt"swgtkgu"hqt."cp{"qh"kvu"rtgxkqwu"uvcvgu0"
Qp"vjg"qvjgt"jcpf."c"xcnkf/vkog"fcvcdcug"ockpvckpu"vjg"gpvktg"vgorqtcn"dgjcxkqt"qh"cp"gpvgtrtkug"cu"dguv"mpqyp"pqy0"Kv"uvqtgu"vjg"ewttgpv"mpqyngfig"cdqwv"vjg"gpvgtrtkug)u"rcuv."ewttgpv"qt"gxgp"hwvwtg"dgjcxkqt0"Kh"gttqtu" ctg" fkueqxgtgf" cdqwv" vjku" vgorqtcn" dgjcxkqt." vjg{" ctg" eqttgevgf" d{" oqfkh{kpi" vjg" fcvcdcug0" Kp"igpgtcn."kh"vjg"mpqyngfig"cdqwv"vjg"gpvgtrtkug"ku"wrfcvgf."vjg"pgy"mpqyngfig"oqfkhkgu"vjg"gzkuvkpi"qpg0"Yjgp"c"eqttgevkqp"qt"cp"wrfcvg"ku"crrnkgf."rtgxkqwu"xcnwgu"ctg"pqv"tgvckpgf0"Kv"ku"vjwu"pqv"rquukdng"vq"xkgy"vjg"fcvcdcug"cu"kv"ycu"dghqtg"vjg"eqttgevkqp1wrfcvg0"
D{"uwrrqtvkpi"dqvj"xcnkf"cpf"vtcpucevkqp"vkog."c"dk/vgorqtcn"fcvcdcug"eqodkpgu"vjg"hgcvwtgu"qh"vjg"qvjgt"vgorqtcn"fcvcdcug"v{rgu0"Yjkng"kv"mggru"kvu"rcuv"uvcvgu."kv"cnuq"uwrrqtvu"ejcpigu"cp{yjgtg"kp"vjg"xcnkf"vkog" fqockp0" Jgpeg." vjg" qxgtncrrkpi" cpf" rgtukuvgpv" ogvjqfqnqikgu" rtqrqugf" hqt" vtcpucevkqp/vkog"kpfgzkpi"*hqt"fgvcknu"ugg"ejcrvgt"qp"Vtcpucevkqp/Vkog"Kpfgzkpi+"ecp"dg"crrnkgf"]8.";."7_0"Vjg"fkhhgtgpeg"ykvj" vtcpucevkqp/vkog" kpfgzkpi" ku" vjcv" vjg" wpfgtn{kpi" ceeguu" ogvjqf" ujqwnf" dg" cdng" vq" f{pcokecnn{"ocpcig" kpvgtxcnu" *nkmg" cp" T/vtgg." c" swcf/vtgg" gve0+0" Hqt" c" yqtuv/ecug" eqorctkuqp" qh" vgorqtcn" ceeguu"ogvjqfu."vjg"tgcfgt"ku"tghgttgf"vq"]9_0"
UEKGPVKHKE"HWPFCOGPVCNU"
Yjgp" eqpukfgtkpi" vgorqtcn" kpfgzkpi." kv" ku" korqtvcpv" vq" tgcnk|g" vjcv" vjg" xcnkf" cpf" vtcpucevkqp" vkog"fkogpukqpu"ctg"qtvjqiqpcn"]:_0"Yjkng"kp"xctkqwu"uegpctkqu"kv"oc{"dg"cuuwogf"vjcv"fcvc"cdqwv"c"hcev"ku"gpvgtgf"kp"vjg"fcvcdcug"cv"vjg"ucog"vkog"cu"yjgp"kv"jcrrgpu"kp"vjg"tgcn"yqtnf"*k0g0."xcnkf"cpf"vtcpucevkqp"vkog" eqkpekfg+." kp" rtcevkeg." vjgtg" ctg" ocp{" crrnkecvkqpu" yjgtg" vjku" cuuworvkqp" fqgu" pqv" jqnf0" Hqt"gzcorng."fcvc"tgeqtfu"cdqwv"vjg"ucngu"vjcv"qeewttgf"fwtkpi"c"ikxgp"fc{"ctg"tgeqtfgf"kp"vjg"fcvcdcug"cv"vjg"gpf"qh"vjg"fc{"*yjgp"dcvej"rtqeguukpi"qh"cnn"fcvc"eqnngevgf"fwtkpi"vjg"fc{"ku"rgthqtogf+0"Oqtgqxgt."c"tgeqtfgf"xcnkf"vkog"oc{"tgrtgugpv"c"ncvgt"vkog"kpuvcpv"vjcp"vjg"vtcpucevkqp"vkog"yjgp"kv"ycu"tgeqtfgf0"Hqt"gzcorng." c" eqpvtcev" oc{" dg" xcnkf" hqt" cp" kpvgtxcn" vjcv" ku" ncvgt" vjcp" vjg" *vtcpucevkqp+" vkog" yjgp" vjku"kphqtocvkqp"ycu"gpvgtgf"kp"vjg"fcvcdcug0"Vjg"cdqxg"rtqrgtvkgu"ctg"etkvkecn"kp"vjg"fgukip"qh"c"dk/vgorqtcn"ceeguu"ogvjqf"ukpeg"vjg"uwrrqtv"qh"dqvj"xcnkf"cpf"vtcpucevkqp"vkog"chhgevu"fktgevn{"vjg"yc{"tgeqtfu"ctg"etgcvgf" qt" wrfcvgf0" Pqvg" vjcv" vjg" vgto" ÐkpvgtxcnÑ" ku" wugf" jgtg" vq" ogcp" c" Ðeqpxgz" uwdugv" qh" vjg" vkog"fqockp$"*cpf"pqv"c"$fktgevgf"fwtcvkqp$+0"Vjku"eqpegrv"jcu"cnuq"dggp"pcogf"c"ÐrgtkqfÑ="kp"vjku"fkuewuukqp"jqygxgt."qpn{"vjg"vgto"ÐkpvgtxcnÑ"ku"wugf0
Trang 24Vjg"tgcfgt"ku"tghgttgf"vq"vjg"gpvt{"qp"Vtcpucevkqp/Vkog"Kpfgzkpi."kp"yjkej"c"vtcpucevkqp"vkog"fcvcdcug"ycu"cduvtcevgf"cu"cp"gxqnxkpi"eqnngevkqp"qh"qdlgevu="wrfcvgu"cttkxg"kp"kpetgcukpi"vtcpucevkqp/vkog"qtfgt"cpf"ctg"cnyc{u"crrnkgf"qp"vjg"ncvguv"uvcvg"qh"vjku"ugv0"Kp"qvjgt"yqtfu."rtgxkqwu"uvcvgu"ecppqv"dg"ejcpigf0"Vjwu"c"vtcpucevkqp/vkog"fcvcdcug"tgrtgugpvu"cpf"uvqtgu"vjg"fcvcdcug"cevkxkv{="qdlgevu"ctg"cuuqekcvgf"ykvj"kpvgtxcnu"dcugf"qp"vjku"fcvcdcug"cevkxkv{0"Kp"eqpvtcuv."kp"vjg"ejcrvgt"qp"Xcnkf/Vkog"Kpfgzkpi."c"xcnkf/vkog"fcvcdcug"ycu"cduvtcevgf"cu"cp"gxqnxkpi"eqnngevkqp"qh"kpvgtxcn/qdlgevu."yjgtg"gcej"kpvgtxcn"tgrtgugpvu"vjg"xcnkfkv{" kpvgtxcn" qh" cp" qdlgev0" Vjg" cnnqycdng" ejcpigu" kp" vjku" gpxktqpogpv" ctg" vjg" cffkvkqp1fgngvkqp1"oqfkhkecvkqp"qh"cp"kpvgtxcn/qdlgev0"C"fkhhgtgpeg"ykvj"vjg"vtcpucevkqp/vkog"cduvtcevkqp"ku"vjcv"vjg"eqnngevkqp)u"gxqnwvkqp"*rcuv"uvcvgu+"ku"pqv"mgrv0"Pqvg"vjcv"yjgp"eqpukfgtkpi"vjg"xcnkf"vkog"fkogpukqp."ejcpigu"fq"pqv"pgeguuctkn{"eqog"kp"kpetgcukpi"vkog"qtfgt="tcvjgt"vjg{"ecp"chhgev"cp{"kpvgtxcn"kp"vjg"eqnngevkqp0"Vjku"kornkgu"vjcv"c"xcnkf/vkog"fcvcdcug"ecp" eqttgev"gttqtu"kp"rtgxkqwun{"tgeqtfgf"fcvc0"Jqygxgt."qpn{"c"ukping"fcvc"uvcvg"ku"mgrv."vjg"qpg"tguwnvkpi"chvgt"vjg"eqttgevkqp"ku"crrnkgf0"
C"dk/vgorqtcn"fcvcdcug"jcu"vjg"ejctcevgtkuvkeu"qh"dqvj"crrtqcejgu0"Kvu"cduvtcevkqp"ockpvckpu"vjg"gxqnwvkqp"
*vjtqwij"vjg"uwrrqtv"qh"vtcpucevkqp/vkog+"qh"c"f{pcoke"eqnngevkqp"qh"*xcnkf/vkog+"kpvgtxcn/qdlgevu0"Hkiwtg"3"qhhgtu"c"eqpegrvwcn"xkgy"qh"c"dk/vgorqtcn"fcvcdcug0"Kpuvgcf"qh"ockpvckpkpi"c"ukping"eqnngevkqp"qh"kpvgtxcn/"qdlgevu"*cu"c"xcnkf/vkog"fcvcdcug"fqgu+"c"dk/vgorqtcn"fcvcdcug"ockpvckpu"c"ugswgpeg"qh"uwej"eqnngevkqpu"E*vk+"kpfgzgf"d{"vtcpucevkqp/vkog0"Cuuwog"vjcv"gcej"kpvgtxcn"K"tgrtgugpvu"vjg"xcnkfkv{"kpvgtxcn"qh"c"eqpvtcev"kp"c"eqorcp{0"Kp"vjku"gpxktqpogpv."vjg"wugt"ecp"tgrtgugpv"jqy"vjg"mpqyngfig"cdqwv"eqorcp{"eqpvtcevu"gxqnxgf0"Kp"Hkiwtg"3."vjg"v/czku"*x/czku+"eqttgurqpfu"vq"vtcpucevkqp"*xcnkf+"vkogu0"Cv"vtcpucevkqp"vkog"v3."vjg"fcvcdcug"uvctvu"ykvj"kpvgtxcn/qdlgevu"Kz"cpf"K{0"Cv"v4."c"pgy"kpvgtxcn/qdlgev"K|"ku"tgeqtfgf."gve0"Cv"v7"vjg"xcnkf/"vkog"kpvgtxcn"qh"qdlgev"Kz"ku"oqfkhkgf"vq"c"pgy"ngpivj0"
Yjgp"cp"kpvgtxcn/qdlgev"Kl"ku"kpugtvgf"kp"vjg"fcvcdcug"cv"vtcpucevkqp/vkog"v."c"tgeqtf"ku"etgcvgf"ykvj"vjg"qdlgev)u"uwttqicvg"*eqpvtcevapq"Kl+."c"xcnkf/vkog"kpvgtxcn"*eqpvtcev"fwtcvkqp+."cpf"cp"kpkvkcn"vtcpucevkqp/vkog"kpvgtxcn"]v."WE+0"Yjgp"cp"qdlgev"ku"kpugtvgf."kv"ku"pqv"{gv"mpqyp"kh"kv"*gxgt+"yknn"dg"wrfcvgf0"Vjgtghqtg."vjg"tkijv"gpfrqkpv"qh"vjg"vtcpucevkqp/vkog"kpvgtxcn"ku"hknngf"ykvj"vjg"xctkcdng"WE"*Wpvkn"Ejcpigf+."yjkej"yknn"dg"ejcpigf"vq"cpqvjgt"vtcpucevkqp"vkog"kh"vjku"qdlgev"ku"ncvgt"wrfcvgf0"Hqt"gzcorng."vjg"tgeqtf"hqt"kpvgtxcn/"qdlgev"K|"jcu"vtcpucevkqp/vkog"kpvgtxcn"]v4."v6+."dgecwug"kv"ycu"kpugtvgf"kp"vjg"fcvcdcug"cv"vtcpucevkqp/vkog"v4"cpf"ycu"ÐfgngvgfÑ"cv"v60"Pqvg"vjcv"vjg"eqnngevkqpu"E*v5+"cpf"E*v6+"eqttgurqpf"vq"vjg"eqnngevkqpu"Ec"cpf"Ed"qh"Hkiwtg"3"kp"vjg"Xcnkf/Vkog"Kpfgzkpi"ejcrvgt."cuuwokpi"vjcv"cv"vtcpucevkqp/vkog"v6"vjg"gttqpgqwu"eqpvtcev"K|"ycu"fgngvgf"htqo"vjg"fcvcdcug0"
Hkiwtg" 3" uwooctk|gu" vjg" fkhhgtgpegu" coqpi" vjg" xctkqwu" fcvcdcug" v{rgu0" Gcej" eqnngevkqp" E*vk+" ecp" dg"vjqwijv"qh"qp"kvu"qyp."cu"c"ugrctcvg"xcnkf/vkog"fcvcdcug0"C"xcnkf/vkog"fcvcdcug"fkhhgtu"htqo"c"dk/vgorqtcn
Trang 25fcvcdcug" ukpeg"kv"mggru"qpn{"qpg"eqnngevkqp"qh"kpvgtxcn/qdlgevu"*vjg"ncvguv+0"C"vtcpucevkqp/vkog"fcvcdcug"fkhhgtu" htqo" c" dk/vgorqtcn" fcvcdcug" kp" vjcv" kv" ockpvckpu" vjg" jkuvqt{" qh" cp" gxqnxkpi" ugv" qh" rnckp/qdlgevu"kpuvgcf" qh" kpvgtxcn/qdlgevu0" C" vtcpucevkqp/vkog" fcvcdcug" fkhhgtu" htqo" c" eqpxgpvkqpcn" *pqp/vgorqtcn+"fcvcdcug" kp" vjcv" kv" cnuq" mggru" kvu" rcuv" uvcvgu" kpuvgcf" qh" qpn{" vjg" ncvguv" uvcvg0" Hkpcnn{." vjg" fkhhgtgpeg"dgvyggp"c"xcnkf/vkog"cpf"c"eqpxgpvkqpcn"fcvcdcug"ku"vjcv"vjg"hqtogt"mggru"kpvgtxcn/qdlgevu"*cpf"vjgug"kpvgtxcnu"ecp"dg"swgtkgf+0"
Vjgtg"ctg"vjtgg"crrtqcejgu"vjcv"ecp"dg"wugf"hqt"kpfgzkpi"dk/vgorqtcn"fcvcdcugu0"
Crrtqcej" 3<" Vjg" hktuv" qpg" ku" vq" jcxg" gcej" dk/vgorqtcn" qdlgev" tgrtgugpvgf" d{" c" Ðdqwpfkpi" tgevcpingÑ"etgcvgf" d{" vjg" qdlgev)u" xcnkf" cpf" vtcpucevkqp/vkog" kpvgtxcnu." cpf" vq" uvqtg" kv" kp" c" eqpxgpvkqpcn" ownvk/"fkogpukqpcn"uvtwevwtg"nkmg"vjg"T/vtgg0"Yjkng"vjku"crrtqcej"jcu"vjg"cfxcpvcig"qh"wukpi"c"ukping"kpfgz"vq"uwrrqtv" dqvj" vkog" fkogpukqpu." vjg" ejctcevgtkuvkeu" qh" vtcpucevkqp/vkog" etgcvg" c" ugtkqwu" qxgtncrrkpi"rtqdngo"]7_0"C"dk/vgorqtcn"qdlgev"ykvj"xcnkf/vkog"kpvgtxcn"K"vjcv"ku"kpugtvgf"kp"vjg"fcvcdcug"cv"vtcpucevkqp"vkog"v."ku"tgrtgugpvgf"d{"c"tgevcping"ykvj"c"vtcpucevkqp/vkog"kpvgtxcn"qh"vjg"hqto"]v."WE+0"Cnn"dk/vgorqtcn"qdlgevu" vjcv" jcxg" pqv" dggp" fgngvgf" *kp" vjg" vtcpucevkqp" ugpug+" yknn" ujctg" vjg" eqooqp" vtcpucevkqp/vkog"gpfrqkpv"WE"*yjkej"kp"c"v{rkecn"korngogpvcvkqp."eqwnf"dg"tgrtgugpvgf"d{"vjg"nctiguv"rquukdng"vtcpucevkqp"vkog+0" Hwtvjgtoqtg." kpvgtxcnu" vjcv" tgockp" wpejcpigf" yknn" etgcvg" nqpi" *kp" vjg" vtcpucevkqp/vkog" czku+"tgevcpingu." c" tgcuqp" hqt" hwtvjgt" qxgtncrrkpi0" C" ukorng" dk/vgorqtcn" swgt{" vjcv" cumu" hqt" cnn" xcnkf" vkog"kpvgtxcnu" vjcv" cv" vtcpucevkqp" vkog" vk"eqpvckpgf" xcnkf" vkog" xl." eqttgurqpfu" vq" hkpfkpi" cnn" tgevcpingu" vjcv"eqpvckp"rqkpv"*vk."xl+0"
Hkiwtg"4"knnwuvtcvgu"vjg"dqwpfkpi/tgevcping"crrtqcej="qpn{"vjg"xcnkf"cpf"vtcpucevkqp"czku"ctg"ujqyp0"Cv"v7."vjg"xcnkf/vkog"kpvgtxcn"K3"ku"oqfkhkgf"*gpnctigf+0"Cu"c"tguwnv."vjg"kpkvkcn"tgevcping"hqt"K3"gpfu"cv"v7."cpf"c"pgy"gpnctigf"tgevcping"ku"kpugtvgf"tcpikpi"htqo"v7"vq"WE0"
Trang 26Kp"Hkiwtg"5."vjg"vyq"T/vtggu"ogvjqfqnqi{"hqt"dk/vgorqtcn"fcvc"ku"fkxkfgf"ceeqtfkpi"vq"yjgvjgt"vjgkt"tkijv"vtcpucevkqp"gpfrqkpv"ku"mpqyp0"Vjg"uegpctkq"qh"Hkiwtg"4"ku"rtgugpvgf"jgtg"*k0g0."chvgt"vkog"v7"jcu"gncrugf+0"Vjg" swgt{" ku" vjgp" vtcpuncvgf" kpvq" cp" kpvgtxcn" kpvgtugevkqp" cpf" c" rqkpv" gpenquwtg" rtqdngo0" C" ukorng" dk/"vgorqtcn"swgt{"vjcv"cumu"hqt"cnn"xcnkf"vkog"kpvgtxcnu"yjkej"eqpvckpgf"xcnkf"vkog"xl"cv"vtcpucevkqp"vkog"vk."ku"cpuygtgf"ykvj"vyq"ugctejgu0"Vjg"dcem"T/vtgg"ku"ugctejgf"hqt"cnn"tgevcpingu"vjcv"eqpvckp"rqkpv"*vk."xl+0"Vjg"htqpv"T/vtgg"ku"ugctejgf"hqt"cnn"xgtvkecn"kpvgtxcnu"vjcv"kpvgtugev"c"jqtk|qpvcn"kpvgtxcn"J"vjcv"uvctvu"htqo"vjg"dgikppkpi"qh"vtcpucevkqp"vkog"cpf"gzvgpfu"wpvkn"rqkpv"vk"cv"jgkijv"xl0"
Crrtqcej" 5<" Cpqvjgt" crrtqcej" vq" cfftguu" dk/vgorqtcn" rtqdngou" ku" vq" wug" vjg" pqvkqp" qh" rctvkcn"rgtukuvgpeg"]6.3_0"Vjku"uqnwvkqp"gocpcvgu"htqo"vjg"cduvtcevkqp"qh"c"dk/vgorqtcn"fcvcdcug"cu"c"ugswgpeg"qh"eqnngevkqpu"E*v+"*kp"Hkiwtg"3+"cpf"jcu"vyq"uvgru0"Hktuv."c"iqqf"kpfgz"ku"ejqugp"vq"tgrtgugpv"gcej"E*v+0"Vjku"kpfgz"owuv"uwrrqtv"f{pcoke"cffkvkqp1fgngvkqp"qh"*xcnkf/vkog+"kpvgtxcn/qdlgevu0"Ugeqpf."vjku"kpfgz"ku"ocfg"rctvkcnn{"rgtukuvgpv0"Vjg"eqnngevkqp"qh"swgtkgu"uwrrqtvgf"d{"vjg"kpvgtxcn"kpfgz"uvtwevwtg"kornkgu"yjkej"swgtkgu"ctg"cpuygtgf"d{"vjg"dk/vgorqtcn"uvtwevwtg0"Wukpi"vjku"crrtqcej."vjg"Dk/vgorqtcn"T/vtgg"vjcv"vcmgu"cp"T/vtgg"cpf"ocmgu"kv"rctvkcnn{"rgtukuvgpv"ycu"kpvtqfwegf"kp"]7_0"
Ukoknct"vq"vjg"vtcpucevkqp/vkog"fcvcdcugu."qpg"ecp"wug"vjg"ÐqxgtncrrkpiÑ"crrtqcej"]5_"vq"etgcvg"cp"kpfgz"hqt"dk/vgorqtcn"fcvcdcugu0"Kv"ku"pgeguuct{"vq"wug"cp"kpfgz"vjcv"ecp"jcpfng"vjg"xcnkf/vkog"kpvgtxcnu"cpf"cp"qxgtncrrkpi"crrtqcej"vq"rtqxkfg"vjg"vtcpucevkqp/vkog"uwrrqtv0"Ownvk/fkogpukqpcn"kpfgzgu"ecp"dg"wugf"hqt"uwrrqtvkpi"kpvgtxcnu0"Hqt"gzcorng."cp"T/vtgg"qt"c"swcf/vtgg0"Vjg"Qxgtncrrkpi/T/vtgg"ycu"rtqrqugf"kp"]8_
Trang 27yjgtg" cp" T/vtgg" ockpvckpu" vjg" xcnkf" vkog" kpvgtxcnu" cv" gcej" vtcpucevkqp" vkog" kpuvcpv0" Cu" kpvgtxcnu" ctg"cffgf1fgngvgf"qt"wrfcvgf."qxgtncrrkpi"ku"wugf"vq"ujctg"eqooqp"rcvju"kp"vjg"tgngxcpv"T/vtggu0"Nkmgykug."];_"rtqrqugu"vjg"wug"qh"swcf/vtggu"*yjkej"ecp"cnuq"dg"wugf"hqt"urcvkqvgorqtcn"swgtkgu+0"
Vjgtg" ctg" vyq" cfxcpvcigu" kp" ÐxkgykpiÑ" c" dk/vgorqtcn" swgt{" cu" c" Ðrctvkcn" rgtukuvgpegÑ" qt" ÐqxgtncrrkpiÑ"rtqdngo0" Hktuv." vjg" xcnkf/vkog" tgswktgogpvu" ctg" fkucuuqekcvgf" htqo" vjg" vtcpucevkqp/vkog" qpgu0" Oqtg"urgekhkecnn{."vjg"xcnkf"vkog"uwrrqtv"ku"rtqxkfgf"htqo"vjg"rtqrgtvkgu"qh"vjg"T/vtgg"yjkng"vjg"vtcpucevkqp"vkog"uwrrqtv" ku" cejkgxgf" d{" ocmkpi" vjku" uvtwevwtg" Ðrctvkcnn{" rgtukuvgpvÑ" qt" ÐqxgtncrrkpiÑ0" Eqpegrvwcnn{." vjku"ogvjqfqnqi{"rtqxkfgu"hcuv"ceeguu"vq"vjg"E*v+"qh"kpvgtguv"qp"yjkej"vjg"xcnkf/vkog"swgt{"ku"vjgp"rgthqtogf0"Ugeqpf."ejcpigu"ctg"cnyc{u"crrnkgf"vq"vjg"oquv"ewttgpv"uvcvg"qh"vjg"uvtwevwtg"cpf"ncuv"wpvkn"wrfcvgf"*kh"gxgt+"cv"c"ncvgt"vtcpucevkqp"vkog."vjwu"cxqkfkpi"vjg"gzrnkekv"tgrtgugpvcvkqp"qh"xctkcdng"WE0"Eqpukfgtkpi"vjg"vyq"crrtqcejgu."qxgtncrrkpi"jcu"vjg"cfxcpvcig"qh"ukorngt"korngogpvcvkqp."yjkng"vjg"rctvkcn/rgtukuvgpeg"crrtqcej"cxqkfu"vjg"rquukdng"nqictkvjoke"urceg"qxgtjgcf0"
MG["CRRNKECVKQPU"
Vjg"korqtvcpeg"qh"vgorqtcn"kpfgzkpi"gocpcvgu"htqo"vjg"ocp{"crrnkecvkqpu"vjcv"ockpvckp"vgorqtcn"fcvc0"Vjg" gxgt" kpetgcukpi" pcvwtg" qh"vkog"korqugu" vjg" pggf"hqt"ocp{" crrnkecvkqpu" vq" uvqtg" nctig" coqwpvu" qh"vgorqtcn"fcvc0"Ceeguukpi"uwej"fcvc"urgekcnk|gf"kpfgzkpi"vgejpkswgu"ku"pgeguuct{0"Vgorqtcn"kpfgzkpi"jcu"qhhgtgf"ocp{"uwej"uqnwvkqpu"vjcv"gpcdng"hcuv"ceeguu0"
ETQUU"TGHGTGPEGU"
Vgorqtcn"Fcvcdcugu."Vtcpucevkqp/Vkog"Kpfgzkpi."Xcnkf/Vkog"Kpfgzkpi."D-/vtgg."T/vtgg"
TGEQOOGPFGF"TGCFKPI"
]3_"D0"Dgemgt."U0"Iuejykpf."V0"Qjngt."D0"Uggigt."cpf"R0"Ykfoc{gt"*3;;8+0"Cp"Cu{orvqvkecnn{"Qrvkocn"Ownvkxgtukqp"D/"Vtgg0"XNFD"L0"7*6+<"486/4970"
]4_"T0"Dnkwlwvg."E0U0"Lgpugp."U0"Ucnvgpku"cpf"I0"Unkxkpumcu"*3;;:+0"T/Vtgg"Dcugf"Kpfgzkpi"qh"Pqy/Tgncvkxg"Dkvgorqtcn"Fcvc0"XNFD"Eqphgtgpeg."rr<"567/5780"
]5_"H0"Y0" Dwtvqp." O0O0" Jwpvdcej." cpf"L0I0" Mqnnkcu" *3;:7+0"Ownvkrng" Igpgtcvkqp" Vgzv" Hkngu" Wukpi"Qxgtncrrkpi" Vtgg"Uvtwevwtgu0"Eqorwv0"L0"4:*6+<"636/6380"
]6_" L0T0" Ftkueqnn." P0" Uctpcm." F0F0" Ungcvqt." cpf" T0G0" Vctlcp"*3;:;+0" Ocmkpi" Fcvc" Uvtwevwtgu" Rgtukuvgpv0" L0" Eqorwv0"U{uv0"Uek0"5:*3+<":8/3460"
]7_" C0" Mwoct." X0L0" Vuqvtcu." cpf" E0" Hcnqwvuqu" *3;;:+0" Fgukipkpi" Ceeguu" Ogvjqfu" hqt" Dkvgorqtcn" Fcvcdcugu0" KGGG"Vtcpucevkqpu"qp"Mpqyngfig"Fcvc"Gpikpggtkpi"32*3+<"3/420"
]8_"O0C0"Pcuekogpvq"cpf"L0T0Q0"Uknxc"*3;;:+0"Vqyctfu"jkuvqtkecn"T/vtggu0"Rtqeggfkpiu"qh"UCE."rcigu"457/462"]9_"D0"Ucn|dgti"cpf"X0L0"Vuqvtcu"*3;;;+0"C"Eqorctkuqp"qh"Ceeguu"Ogvjqfu"hqt"Vkog/Gxqnxkpi"Fcvc0"CEO"Eqorwvkpi"Uwtxg{u."53*4+<"37:/4430"
]:_"T0V0"Upqfitcuu"cpf K0"Cjp"*3;:8+0"Vgorqtcn"Fcvcdcugu0"KGGG"Eqorwvgt"3;*;+<"57/640"
];_" V0" V|qwtcocpku." O0" Xcuukncmqrqwnqu" cpf" [0" Ocpqnqrqwnqu" *4222+0" Qxgtncrrkpi" Nkpgct" Swcfvtggu" cpf" Urcvkq/"Vgorqtcn"Swgt{"Rtqeguukpi0"Eqorwv0"L0"65*6+<"547/5650
Trang 29When associated with a fact, a bitemporal interval then identifies an interval (valid time) during whichthat fact held (or holds or will hold) true in reality, as well as identifies an interval (transaction time)when that belief (that the fact was true during the specified valid-time interval) was held, i.e., was part
of the current database state
MAIN TEXT
In this definition, a time interval denotes a convex subset of the time domain Assuming a discrete time domain,
a bitemporal interval can be represented with a non-empty set of bitemporal chronons or granules
C S Jensen and C E Dyreson (eds), M B¨ohlen, J Clifford, R Elmasri, S K Gadia, F Grandi, P Hayes,
S Jajodia, W K¨afer, N Kline, N Lorentzos, Y Mitsopoulos, A Montanari, D Nonen, E Peressi, B Pernici,J.F Roddick, N L Sarda, M R Scalas, A Segev, R T Snodgrass, M D Soo, A Tansel, R Tiberio and
G Wiederhold, “A Consensus Glossary of Temporal Database Concepts—February 1998 Version,” in TemporalDatabases: Research and Practice, O Etzion, S Jajodia, and S Sripada (eds.), LNCS 1399, Springer-Verlag,
pp 367–405, 1998
1
Trang 31MAIN TEXT
In this definition, “bi” refers to the capture of exactly two temporal aspects An alternative definition states that
a bitemporal relation captures one or more valid times and one or more transaction times In this definition, “bi”refers to the existence of exactly two types of times
One may adopt the view that the data in a relation represents a collection of logical statements, i.e., statementsthat can be assigned a truth values The valid times of these so-called facts are the times when these are true
in the reality modeled by the relation In cases where multiple realities are perceived, a single fact may havemultiple, different valid times This might occur in a relation capturing archaeological facts for which there noagreements among the archaeologists In effect, different archaeologists perceive different realities
Transaction times capture when database objects are current in a database In case an object migrates from onedatabase to another, the object may carry along its transaction times from the predecessor databases This thencalls for relations that capture multiple transaction times
The definition of bitemporal is used as the basis for applying bitemporal as a modifier to other concepts such as
“query language.” A query language is bitemporal if and only if it supports any bitemporal relation Hence, mostquery languages involving both valid and transaction time may be characterized as bitemporal
Relations are named as opposed to databases because a database may contain several types of relations Mostrelations involving both valid and transaction time are bitemporal according to both definitions
Concerning synonyms, the term “temporal relation” is commonly used However, it is also used in a generic andless strict sense, simply meaning any relation with time-referenced data
Next, the term “fully temporal relation” was originally proposed because a bitemporal relation is capable ofmodeling both the intrinsic and the extrinsic time aspects of facts, thus providing the “full story.” However, thisterm is no longer used
The term “valid-time and transaction-time relation” is precise and consistent with the other terms, but is alsolengthy
CROSS REFERENCE*
Temporal Database, Transaction Time, Valid Time
REFERENCES*
C S Jensen and C E Dyreson (eds), M B¨ohlen, J Clifford, R Elmasri, S K Gadia, F Grandi, P Hayes,
S Jajodia, W K¨afer, N Kline, N Lorentzos, Y Mitsopoulos, A Montanari, D Nonen, E Peressi, B Pernici,J.F Roddick, N L Sarda, M R Scalas, A Segev, R T Snodgrass, M D Soo, A Tansel, R Tiberio and
G Wiederhold, “A Consensus Glossary of Temporal Database Concepts—February 1998 Version,” in TemporalDatabases: Research and Practice, O Etzion, S Jajodia, and S Sripada (eds.), LNCS 1399, Springer-Verlag,
1
Trang 32pp 367–405, 1998.
2
Trang 33MAIN TEXT
Calendars are most often cyclic, allowing human-meaningful time values to be expressed succinctly For example,dates in the common Gregorian calendar may be expressed in the form <month day, year > where the month andday fields cycle as time passes
The concept of calendar defined here subsumes commonly used calendars such as the Gregorian calendar, theHebrew calendar, and the Lunar calendar, though the given definition is much more general This usage isconsistent with the conventional English meaning of the word
Dershowitz and Reingold’s book presents complete algorithms for fourteen prominent calendars: the present civilcalendar (Gregorian), the recent ISO commercial calendar, the old civil calendar (Julian), the Coptic an Ethiopiccalendars, the Islamic (Muslim) calendar, the modern Persian (solar) calendar, the Bah´a’´ı calendar, the Hebrew(Jewish) calendar, the Mayan calendars, the French Revolutionary calendar, the Chinese calendar, and both theold (mean) and new (true) Hindu (Indian) calendars One could also envision more specific calendars, such as anacademic calendar particular to a school, or a fiscal calendar particular to a company
N Dershowitz and E M Reingold, Calendrical Calculations, Cambridge, 1977
C S Jensen and C E Dyreson (eds), M B¨ohlen, J Clifford, R Elmasri, S K Gadia, F Grandi, P Hayes,
S Jajodia, W K¨afer, N Kline, N Lorentzos, Y Mitsopoulos, A Montanari, D Nonen, E Peressi, B Pernici,J.F Roddick, N L Sarda, M R Scalas, A Segev, R T Snodgrass, M D Soo, A Tansel, R Tiberio and
G Wiederhold, “A Consensus Glossary of Temporal Database Concepts—February 1998 Version,” in TemporalDatabases: Research and Practice, O Etzion, S Jajodia, and S Sripada (eds.), LNCS 1399, Springer-Verlag,
pp 367–405, 1998
B Urgun, C E Dyreson, R T Snodgrass, J K Miller, N Kline, M D Soo, and C S Jensen, “IntegratingMultiple Calendars using τ Zaman,” Software—Practice and Experience 37(3):267-308, 2007
1
Trang 35MAIN TEXT
A calendric system is the abstraction of time available at the conceptual and logical (query language) levels As anexample, a Russian calendric system could be constructed by considering the sequence of five different calendarsused in that region of the world In prehistoric epochs, the Geologic calendar and Carbon-14 dating (another form
of calendar) are used to measure time Later, during the Roman empire, the lunar calendar developed by theRoman republic was used Pope Julius, in the first Century B.C., introduced a solar calendar, the Julian calendar.This calendar was in use until the 1917 Bolshevik revolution when the Gregorian calendar, first introduced byPope Gregory XIII in 1572, was adopted In 1929, the Soviets introduced a continuous schedule work week based
on four days of work followed by one day of rest, in an attempt to break tradition with the seven-day week Thisnew calendar, the Communist calendar, had the failing that only eighty percent of the work force was active onany day, and it was abandoned after only two years in favor of the Gregorian calendar, which is still in use today.The term “calendric system” has been used to describe the calculation of events within a single calendar However,the given definition generalizes that usage to multiple calendars in a very natural way
CROSS REFERENCE*
Calendar, Temporal Database, Time Interval
REFERENCES*
C S Jensen and C E Dyreson (eds), M B¨ohlen, J Clifford, R Elmasri, S K Gadia, F Grandi, P Hayes,
S Jajodia, W K¨afer, N Kline, N Lorentzos, Y Mitsopoulos, A Montanari, D Nonen, E Peressi, B Pernici,J.F Roddick, N L Sarda, M R Scalas, A Segev, R T Snodgrass, M D Soo, A Tansel, R Tiberio and
G Wiederhold, “A Consensus Glossary of Temporal Database Concepts—February 1998 Version,” in TemporalDatabases: Research and Practice, O Etzion, S Jajodia, and S Sripada (eds.), LNCS 1399, Springer-Verlag,
pp 367–405, 1998
1
Trang 37Fcvc"oqfgnu" qhvgp"tgrtgugpv"c"vkog"nkpg"d{"c"ugswgpeg" qh" pqp/fgeqorqucdng."eqpugewvkxg"vkog" rgtkqfu" qh" kfgpvkecn" fwtcvkqp0" Vjgug" rgtkqfu" ctg" vgtogf" ejtqpqpu0" C" fcvc" oqfgn" yknn" v{rkecnn{" ngcxg"vjg"uk|g" qh" gcej"rctvkewnct"ejtqpqp"wpurgekhkgf0"Vjg"uk|g"*g0i0."qpg" oketqugeqpf+" yknn"dg" hkzgf" ncvgt" d{" cp" kpfkxkfwcn" crrnkecvkqp" qt" d{" c" fcvcdcug" ocpcigogpv" u{uvgo." ykvjkp" vjg" tguvtkevkqpu"rqugf"d{"vjg"korngogpvcvkqp"qh"vjg"fcvc"oqfgn0"Vjg"pwodgt"qh"ejtqpqpu"ku"hkpkvg"kp"c" dqwpfgf" oqfgn" *k0g0." c" oqfgn" ykvj" c" okpkowo" cpf" oczkowo" ejtqpqp+." qt" eqwpvcdn{" kphkpkvg" qvjgtykug0" Eqpugewvkxg" ejtqpqpu" oc{" dg" itqwrgf" kpvq" nctigt" kpvgtxcnu" qt" ugiogpvu." vgtogf" itcpwngu="c"ejtqpqp"ku"c"itcpwng"cv"vjg"nqyguv"rquukdng"itcpwnctkv{0"
ETQUU"TGHGTGPEGU"
Vgorqtcn"Itcpwnctkv{."Vkog"Fqockp."Vkog"Kpuvcpv."Vkog"Kpvgtxcn
Trang 39Current Semantics
Free Univerity of Bozen-Bolzano, Italy, Aalborg University, Denmark and
University of Arizona, USA
Specif-MAIN TEXT
Current semantics [3] requires that queries and views on a temporal database consider the current informationonly and work exactly as if applied to a non-temporal database For example, a query to determine who managesthe high-salaried employees should consider the current database state only Constraints and assertions also workexactly as before: they are applied to the current state and checked on database modification
Database modifications are subject to the same constraint as queries: they should work exactly as if applied to
a non-temporal database Database modifications, however, also have to take into consideration that the currenttime is constantly moving forward Therefore, the effects of modifications must persist into the future (untiloverwritten by a subsequent modification)
The definition of current semantics assumes a timeslice operator τ [t](Dt
) that takes the snapshot of a temporaldatabase Dt
at time t The timeslice operator takes the snapshot of all temporal relations in Dt
and returns theset of resulting non-temporal relations
Let now be the current time [2] and let t be a time point that does not exceed now Let Dt
be a temporaldatabase instance at time t Let M1, , Mn, n ≥ 0 be a sequence of non-temporal database modifications.Let Q be a non-temporal query Current semantics requires that for all Q, t, Dt
, and M1, , Mn the followingequivalence holds:
Q(Mn(Mn−1( (M1(Dt
) )))) = Q(Mn(Mn−1( (M1(τ [now](Dt
))) )))Note that for n = 0 there are no modifications, and the equivalence becomes Q(Dt
) = Q(τ [now](Dt
)), i.e., anon-temporal query applied to a temporal database must consider the current database state only
An unfortunate ramification of the above equivalence is that temporal query languages that introduce new reservedkeywords not used in the non-temporal languages they extend will violate current semantics The reason is thatthe user may have previously used such a keyword as an identifier (e.g., a table name) in the database Toavoid being overly restrictive, it is reasonable to consider current semantics satisfied even when reserved wordsare added, as long as the semantics of all statements that do not use the new reserved words is retained by thetemporal query language
Temporal upward compatibility [1] is a synonym that focuses on settings where the original temporal database isthe result of rendering a non-temporal database temporal
CROSS REFERENCE
Nonsequenced Semantics, Now in Temporal Databases, Sequenced Semantics, Snapshot equivalence, TemporalDatabase, Temporal Data Model, Temporal Query Languages, Timeslice Operator
REFERENCES
Trang 40[1] J Bair, M H B¨ohlen, C S Jensen, and R T Snodgrass Notions of Upward Compatibility of Temporal QueryLanguages Wirtschaftsinformatik, 39(1):25–34, February 1997.
[2] J Clifford, C Dyreson, T Isakowitz, C S Jensen, and R T Snodgrass On the Semantics of “NOW” in Databases.ACM Transactions on Database Systems, 22:171–214, June 1997
[3] R T Snodgrass Developing Time-Oriented Database Applications in SQL Morgan Kaufmann, 1999
2