The use of schemas is a classical way of synthesizing, transforming and analyzing logic programs. Operations on schemas are needed, in particular, the semi-uniication of schemas with programs. Since the schemas used in the paper are second-order objects, the related semi-uniication is the second-order semi-uniication, which is decidable but NP-complete. The non-determinism implied by the NP-com...

Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simple schemas with well-typed references and showing that such schemas, called normalized ref-schemas, are expressible as formulas of Hybrid Modal Logic. The aim of the present paper is to extend normalized ref-schemas in...

The most common implementation platform for multidimensional data warehouses is RDBMSs storing data in relational star and snowflake schemas. DW schemas evolve over time, which may invalidate existing analysis queries used for reporting purposes. However, the evolution properties of star and snowflake schemas have not previously been investigated systematically. This paper systematically invest...

Objectives: Early maladaptive schemas are valid representations of unpleasant childhood experiences that shape a person’s viewpoints of the world, and lead to clinical symptoms such as depression, personality disorders, and substance abuse. Given the importance of this matter, we conducted a research on early maladaptive schemas in substance-abusers, to allow more appropriate preventive m...

Multilevel analysis of relationship between parental popularity, maladaptive schemas and perfectionism in gifted adolescents

This paper harmonizes semantic web services and mashups by leveraging semantics in Schemas, and by generating aligned ontologies from mappings between schemas. Hence, we propose to encode the import of schemas and their mappings in HTML, which when combined with JavaScript libraries enable a web user to write mashups while hiding coding complexities and promoting reuse of schemas. These Web pag...