Recently families of sets of dependencies treated as the Datalog extensions were discovered for which the interpretation of queries becomes tractable. Such families are intended for inference of new, unknown values in the process of query answering. This paper considers such decidable classes of dependencies as the assets for creation of new data models (called in the paper the value inventive ...

We argue that the novel combination of type classes and existential types in a single language yields significant expressive power. We explore this combination in the context of higher-order functional languages with static typing, parametric polymorphism, algebraic data types, and Hindley-Milner type inference. Adding existential types to an existing functional language that already features t...

We describe an efficient compiler and run-time system for NextGen, a compatible extension of the Java programming language supporting run-time generic types designed by Cartwright and Steele. The resulting system is comparable in performance with both standard Java and the GJ extension of Java, which does not support run-time generic types. Our implementation of NextGen consists of a compiler e...

The class of problems solvable in logarithmic space has recently replenished with the isomorphism testing for interval graphs. We discuss this result, prospects of its extension to larger classes of graphs, and related issues such as constructing canonical models of intersection graphs and solving the Star System Problem for restricted classes of graphs.

In this paper we consider four different definitions for an extension of a partially defined Boolean function in which the input contains some missing bits. We show that, for many general and reasonable families of function classes, three of these extensions are mathematically equivalent. However we also demonstrate that such an equivalence does not hold for all classes.

In this paper the localization properties of the spectral expansions of distributions related to the self adjoint extension of the Schrodinger operator are investigated. Spectral decompositions of the distributions and some classes of distributions are defined. Estimations for Riesz means of the spectral decompositions of the distributions in the norm of the Sobolev classes with negative order ...

A generic extension L[x, y] of L by reals x, y is defined, in which the union of E0 -classes of x and y is a Π 2 set, but neither of these two E0 -classes is separately ordinal-definable.

the purpose of this study was to assess the process of extension program development in iranian agricultural extension system (iaes). the research instrument was a structural questionnaire with close-ended questions which its validity and reliability was confirmed by using expert panel and cranach’s alpha test, respectively. the target population of this research included all extension managers...

In this study, Bruck-Reilly extension of a ternary monoid is defined. Additionally, some results about construction are given which belongs to one the classes semigroups; regular, inverse, orthodox and strongly regular.

It is shown that any non-solvable Latin Tableau (LT) has a solvable LT-extension with the same shape, and an algorithm computing the minimal such extension is presented. Minimal Latin Square embeddings of solvable Latin Tableaux are established. The results depend partly on the truth of the Wide Partition Conjecture for Latin Tableaux. More about Latin Tableaux and their Embeddings Bart Demoen ...