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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automatic control and computer sciences Jg. 53; H. 7; S. 683 - 688
1. Verfasser:	Dudakov, S. M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!