The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT stylesheet. Output schemas of XSLT stylesheets can be used for a static analysis of the used XSLT stylesheet, to automatically detect the XSLT stylesheet of target XML documents or to reason on the output schema without a...

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 Maladaptive schemas are stable cognitive working models of the world, learnt early in life, that interfere with effective functioning and underlie chronic mental illness. A major challenge for cognitive therapy has been how to modify schemas when they are so enduring and stable. We propose that because maladaptive schemas are formed through social experiences (typically abusive or ne...

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