1 page matching MSQL in this book
Results 1-1 of 1
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Formalization of Structured Temporal Objects and Repetition
Hom Representability and Tractability
13 other sections not shown
algorithm applied approach Artiﬁcial Intelligence Asbru attribute axioms bi-temporal binary relation calculus classiﬁcation clauses Computer conceming consider constraint network convex data model decision trees deﬁned Deﬁnition denoted domain duration efﬁcient Event Calculus example expressions Figure ﬁnd ﬁnite ﬁrst formally formula free schedule given granularity Hom representable IEEE instance interaction intersection interval network Lemma loop macro-events modal modal logics movement movie moving objects MSQL node observation operators paper path path-consistency algorithm PERT charts PMTV point-based semantics poral problem properties proposition query language R-tree reference relation represent resolution rules retums satisﬁed schema change selection condition semantics sequence spatial spatio-temporal speciﬁc structure table versions temporal constraints temporal databases temporal logic temporal objects temporal reasoning temporal terms Theorem timestamp tion topologic closure Topological transaction tree tuples updates valid variables VideoClip weakly preconvex workﬂow