Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Cached Queries in the Stack-Based Approach

100%

Cybula P. , Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2005

tom Nr 985

1-56

We present a new approach to optimization of ąuery languages using materialization of resułts previously answered ąueries. It is based on the stack-based approach (SBA) to object-oriented ąuery languages, which assumes the description of semantics in the form of abstract implementation of ąuery/programming language constructs. The semantics is expressed in terms of naming, scoping and binding. It involves an environmental stack - a basie mechanism of majority of programming languages. Novelty of our approach concerns methods and data structures proposed to realize the optimization method. The main properties of the structures as well as its essential problems arę outlined, particularly the problem of updating cached ąueries after changes of database content. In the report we present detailed description of our approach including all necessary information on the syntax, semantics, implementation and pragmatics of corresponding language constructs.

Przedstawiamy nowe rozwiązanie optymalizacji języków zapytań z wykorzystaniem materializacji wyników wcześniej zrealizowanych zapytań. Rozwiązanie to bazuje na podejściu stosowym (SBA) do obiektowych języków zapytań wprowadzającym opis semantyki w formie abstrakcyjnej implementacji konstrukcji języka zapytań lub programowania. Semantyka ta jest wyrażana za pomocą trzech terminów: nazw, zakresu i wiązania. Wykorzystywany jest stos środowiskowy - podstawowy mechanizm większości języków programowania. Oryginalność naszego rozwiązania dotyczy metod i struktur danych proponowanych do realizacji wspomnianej metody optymalizacyjnej. Zostały opisane główne własności tych struktur danych, jak również istotne problemy, w szczególności problem aktualizacji zapamiętanych zapytań po zmianach zawartości bazy danych. W raporcie przedstawiamy szczegółowy opis naszego rozwiązania, w tym wszystkie niezbędne informacje dotyczące składni, semantyki, implementacji i pragmatyki odpowiednich konstrukcji językowych.

SMT-Based Reachability Checking for Bounded Time Petri Nets

80%

Półrola A. , Cybula P. , Męski A.

Fundamenta Informaticae

2014

tom Vol. 135, nr 4

467--482

Time Petri nets by Merlin and Farber are a powerful modelling formalism. However, symbolic model checking methods for them consider in most cases the nets which are 1-safe, i.e., allow the places to contain at most one token. In our paper we present an approach which applies symbolic verification to testing reachability for time Petri nets without this restriction. We deal with the class of bounded nets restricted to disallow multiple enabledness of transitions, and present the method of reachability testing based on a translation into a satisfiability modulo theory (SMT).