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á bibliografia

Vydané 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:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!