Expressiveness of E cient Semi Deterministic Choice Constructs
نویسندگان
چکیده
Recently Abiteboul and Kanellakis introduced the notion of determinate query to describe database queries having the ability to cre ate new domain elements As there are no natural determinate complete query languages known more restrictive the constructive queries and more general the semi deterministic queries notions of query were con sidered Here we show that the advantage of the second approach over the rst is not so much in increased expressiveness but in the ability of expressing queries more e ciently
منابع مشابه
Expressiveness of Eecient Semi-deterministic Choice Constructs ?
Recently, Abiteboul and Kanellakis introduced the notion of determinate query to describe database queries having the ability to create new domain elements. As there are no natural determinate-complete query languages known, more restrictive (the constructive queries) and more general (the semi-deterministic queries) notions of query were considered. Here, we show that the advantage of the seco...
متن کاملExpressiveness of Efficient Semi-Deterministic Choice Constructs
Recently, Abiteboul and Kanellakis introduced the notion of determinate query to describe database queries having the ability to create new domain elements. As there are no natural determinate-complete query languages known, more restrictive (the constructive queries) and more general (the semi-deterministic queries) notions of query were considered. Here, we show that the advantage of the seco...
متن کاملSemantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
Non-deterministic extensions are needed in logic-based languages, such as First-Order relational languages and Datalog, to enhance their expressive power and support the eÆcient formulation of low-complexity problems and database queries. In this paper, we study the semantics and expressive power of the various non-deterministic constructs proposed in the past, including various versions of the...
متن کاملNon-deterministic Lazy It -calculus Vs It -caculus Non-deterministic Lazy -calculus Vs -calculus
We pursue the study of the embedding of the-calculus into the-calculus. Various lambda calculi with parallel and convergence testing facilities are examined and their expressiveness compared; j-a lazy calculus augmented with a non-deterministic choice operator and a convergence testing combinator, emerges as a suitable language to be encoded in. Through the use of closures for variables and abs...
متن کاملHyper-minimisation of deterministic weighted nite automata over semi elds
Hyper-minimisation of deterministic nite automata is a recently introduced state reduction technique that allows a nite change in the recognised language. A generalisation of this lossy compression method to the weighted setting over semi elds is presented, which allows the recognised formal power series to di er for nitely many input strings. First, the structure of hyper-minimal deterministic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011