We investigate the expressive power of the typed-calculus when expressing computations over nite structures, i.e., databases. We show that the simply typed-calculus can express various database query languages such as the relational algebra, xpoint logic, and the complex object algebra. In our embeddings, inputs and outputs are-terms encoding databases, and a program expressing a query is a-ter...

We consider generic isomorphism invariant queries on rela tional databases embedded in an in nite background structure As sume a generic query is expressible by a rst order formula over the embedded domain that may involve both the relations of the database and the relations and functions of the background structure Then this query is already expressible by a rst order formula involving just an...

Different heat-moisture levels were applied to native starches from different cultivars of sweet potatoes available in Sri Lanka (Wariyapola red, Wariyapola white, Pallepola variety, Malaysian variety and CARI 273) to study the digestibility level. Samples were treated with 20, 25, and 30% moisture at 85°C and 120°C for 6 h and in vitro starch digestibility was tested with porcine pancreatin en...

This article is motivated by the following local-to-global question: is every variety with tame quotient singularities globally the quotient of a smooth variety by a finite group? We show that this question has a positive answer for all quasi-projective varieties which are expressible as a quotient of a smooth variety by a split torus (e.g. simplicial toric varieties). Although simplicial toric...

It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite interesting and well-studied. We prove precise structure theorems that characterize the exact expressive power of first-order logic with two variables on words. Our results apply to FO[<] and FO[<,Suc], the latter of...

The objectives of this study were to determine the influence quality grade and internal temperature on thermophysical properties beef strip steaks. Beef loins (n=24) collected from USDA Prime (PR), Low Choice(LC), Standard (ST) carcasses. Strip fabricated into 2.54 cm steaks at 21 d postmortem randomly assigned an (4°C, 25°C, 55°C, 60°C, 71°C, 77°C). Steaks subjected various thermal physical pr...

De Simone showed that a wide class of languages, including CCS, SCCS, CSP and ACP, are expressible up to strong bisimulation equivalence in Meije. He also showed that every recursively enumerable process graph is representable by a Meije expression. Meije in turn is expressible in aprACP (ACP with action prefixing instead of sequential composition). Vaandrager established that both results cruc...