5 papers · 1 filter
Building Views with Description Logics in ADE: Application Development Environment
Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko +3
Any of views is formally defined within description logics that were established as a family of logics for modeling complex hereditary structures and have a suitable expressive pow…
Event Driven Computations for Relational Query Language
Larissa Ismailova, Konstantin Zinchenko, Lioubouv Bourmistrova
This paper deals with an extended model of computations which uses the parameterized families of entities for data objects and reflects a preliminary outline of this problem. Some…
Object-oriented tools for advanced applications
Larissa Ismailova, Konstantin Zinchenko
This paper contains a brief discussion of the Application Development Environment (ADE) that is used to build database applications involving the graphical user interface (GUI). AD…
An object evaluator to generate flexible applications
Larissa Ismailova, Konstantin Zinchenko
This paper contains a brief discussion of an object evaluator which is based on principles of evaluations in a category. The main tool system referred as the Application Developmen…
The Set of Equations to Evaluate Objects
Larissa Ismailova
The notion of an equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of refined objects. The refinement pr…