On Safety of Unary and Nonunary IFP Operators

— The article investigates the safety of unary inflationary fixed point operators (IFP-operators), i.e., their computability in finitely many steps. Such operators correspond exactly to recursive SQL queries. Therefore, the problem under investigation is directly related to database theory. The prob...

Celý popis

Podrobná bibliografie

Vydáno v:	Automatic control and computer sciences Ročník 53; číslo 7; s. 683 - 688
Hlavní autor:	Dudakov, S. M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Témata:	Computer Science Control Structures and Microprogramming Fixed points (mathematics) Investigations Operators Queries Query languages Safety Turing machines Universe arity inflationary fixed point safety
ISSN:	0146-4116, 1558-108X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!