View updating through predefined procedures

摘要

A method of view updating is proposed where translation of view updates is explicitly determined by procedures written by the view definer (for example, by a database administrator). Such a procedure is associated with every required kind of view updating. The procedure expresses the user intention associated with a view update and updates stored data. A basic semantic assumption is that a view updating request, combined with the view definition on a syntactic level, is sent as a parameter to a proper procedure. The approach is more realistic than known approaches to the view updating problem, as it may be directly implemented and allows to deal with many reasonable view updates not considered so far in the literature. The idea refers to theory of programming languages and is illustrated in NETUL, a query/programming language for network/semantic data models.