Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Types and Type Checking in Stack-Based Query Languages

Hryniów R., Lentner M., Stencel K., Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2005

Nr 984

1-60

In this report we propose a new approach to types and static type checking in object-oriented database query and programming languages. In contrast to typical approaches to types which involve very advanced mathematical concepts we present a type system from the practitioners' point of view. We argue that many features of current object-oriented query/programming languages, such as ellipses, automatic coercions and irregularities in data structures, cause that very formal type systems are irrelevant to practical situations. We treat types as some syntactic qualifiers (tokens or some structures of tokens) attached to objects, procedures, modules and other data/program entities. Such syntactic qualifiers we call signatures. We avoid the simpleminded notion that a type has some internal semantics e.g. as a set of values. In our assumptions a type inference system is based on predefined decision tables involving signatures and producing type checking decisions, which can be the following: (1) type error, (2) new signature, (3) dereference, coercion and/or delegation of a type check to run-time. A type inference decision table is to be developed for every query/programming operator. Type inferences are implied by the stack-based approach (SBA) to object-oriented query/programming languages. Static type checking is just a compile time simulation of the run-time computation. Thus the type checker is based on data structures that statically model run-time structures and processes, that is: (1) metabase (internal representation of a database schema, a counterpart of an object store), (2) static environment stack (a counterpart of run-time environment stack), (3) static result stack (a counterpart of run-time result stack) and (4) type inference decision tables (a counterpart of run-time computations). Then, we present the static type check procedure which is driven by the metabase, the static stacks and the type inference decision tables. To discover several type errors in one run we show how to correct some type errors during the type check. Finally we present our prototype implementation showing that our approach is feasible and efficient with moderate implementation effort.

W raporcie proponujemy nowe podejście do typów i statycznej kontroli typologicznej w obiektowych językach zapytań/programowania. W przeciwieństwie do podejść wykorzystujących zaawansowane koncepcje matematyczne prezentujemy tu pozycję praktyków. Wiele cech obecnych języków zapytań/programowania, takich jak elipsy, automatyczne koercje oraz nieregularności struktur danych, powodują, że bardzo formalne systemy typologiczne nie odpowiadają praktyce. Proponujemy typy jako syntaktyczne kwalifikatory (znaki lub struktury znaków) przypisane do obiektów, procedur oraz innych bytów programistycznych. Takie kwalifikatory nazwaliśmy sygnaturami. Unikamy popularnego punktu widzenia, w którym typ posiada wewnętrzną semantykę, np. w postaci zbioru wartości. System wnioskowania o typie jest oparty na tabelach decyzyjnych działających na sygnaturach i generujących decyzje w zakresie kontroli typologicznej, które mogą być następujące: (1) błąd typologiczny, (2) nowa sygnatura, (3) dereferencja, koercja i/lub oddelegowanie kontroli typu do czasu wykonania. Tablice decyzyjne powinny być sporządzone dla każdego operatora występującego w zapytaniach/programach. Wnioskowanie o typie jest implikowane przez podejście stosowe (SBA) do obiektowych języków zapytań/programowania. Statyczna kontrola typologiczna symuluje podczas kompilacji tę sytuację, która zajdzie podczas czasu wykonania. Stąd kontroler typów jest oparty na strukturach danych, które statycznie modelują struktury i procesy czasu wykonania, tj.: (1) metabaza (wewnętrzna reprezentacja schematu, odpowiednik składu obiektów), (2) statyczny stos środowiskowy (odpowiednik stosu środowiskowego), (3) statyczny stos rezultatów (odpowiednik stosu rezultatów), (4) tablice decyzyjne wnioskowania o typie (odpowiednik operatorów). Następnie prezentujemy procedurę statycznej kontroli typów, której działanie jest oparte na metabazie, statycznych stosach i tabelach decyzyjnych. Aby wykryć wiele błędów typologicznych w jednym przebiegu pokazujemy, jak należy skorygować pewne błędy typologiczne podczas kontroli typologicznej. Na końcu prezentujemy prototypową implementację pokazującą, że nasze podejście jest osiągalne i efektywne przy umiarkowanym wysiłku implementacyjnym.

Data-Intensive Grid Computing Based on Updatable Views

Habela P., Kaczmarski K., Kozankiewicz H., Lentner M., Stencel K., Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2004

Nr 974

1-56

In this report we propose a new approach to integration of distributed heterogeneous resources on the basis of a canonical object-oriented database model, a query language and updateable database views. Views are used as wrappers/mediators on top of local servers and as a data integration facility for global applications. Views support location, implementation and replication transparency. Because views are defined in a high-level query language, the mechanism is much more abstract and flexible in comparison to e.g. CORBA or Web Services. The report presents a short introduction to the query language SBQL and updateable views. It also presents the architecture of the grid network based on updateable views, and simple examples illustrating the mechanism. In the report we also show how the mechanism can be used in peer-to-peer networks. We shortly describe the process of grid design and development. Finally, we present some issues related to grid metadata.

W raporcie proponujemy nowe podejście do integracji rozproszonych, heterogenicznych zasobów. Podejście to oparte jest na kanonicznym obiektowym modelu danych, języku zapytań i aktualizowalnych perspektywach bazy danych. Perspektywy są tutaj używane jako osłony/mediatory, przez które lokalne serwery udostępniają swoje zasoby, oraz jako element, który integruje zasoby i udostępnia je globalnym aplikacjom. Perspektywy wspierają przezroczystość położenia, implementacji oraz replikacji. Perspektywy są zdefiniowane w języku wysokiego poziomu i w związku z tym są one bardziej uniwersalne niż np. CORBA czy Web Services. W raporcie przedstawiamy krótkie wprowadzanie do języka zapytań SBQL i aktualizowanych perspektyw zdefiniowanych na bazie tego języka. Prezentujemy także architekturę sieci grid opartą na aktualizowanych perspektywach i przedstawiamy parę przykładów ilustrujących jej działanie. W raporcie pokazujemy jak prezentowany mechanizm może być wykorzystany w sieciach typu peer-topeer, a następnie krótko omawiamy jak wygląda proces projektowania i implementacji gridu. Na koniec w raporcie prezentujemy zagadnienia związane z metadanymi w gridzie.