Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Estudo Estratigráfico e Paleontológico do Jurássico do Algarve Ocidental

Algarve Province, Southern Portugal, corresponds in part to a meso-cenozoic basin running along the coast from Cabo S. Vicente to beyond Spanish border. Structurally it is a big monocline plunging southwards much deformed mainly by two East-West longitudinal flexures. Lithostratigraphical and chronostratigraphical studies dealt specially with Jurassic formations. This and the geological mapping of the post-Hercynian sedimentary formations allow us to define the following units: Triassic-Lower Liassic Arenitos de Silves (Silves sandstones sensu P. Choffat, pro parte) - At their base the Silves sandstones (0-150m) are represented mainly by cross-bedded red sandstones. This unit is Upper Triassic (Keuper) in age, on the evidence of some Brachiopoda. Complexo margo-carbonatado de Silves (Silves marl-limestone complex=Silves sandstones sensu P. Choffat, pro parte) (80-200m) overlies the preceding, it may be reported to the Upper Triassic-Hettangian. It consists of a thick pelite-marl-dolomite-limestone series with many intercalations of greenstones. Since no fossils were found it is not possible to conclude whether it is still Hettangian or if it does correspond, in the whole or in part, already to the Sinemurian. Liassic Dolomitos e calcários dolomíticos de Espiche (Espiche dolomite-rocks and dolomitic-limestones) - The usually massive and finely crystalline or saccharoidal dolomites and dolomitic-limestones are the toughest strata of the Algarve margin giving rise to several hills. Its thickness attains in certain points 60 metres at least. Based on geometry and on lithological similarities with the carbonated complex of the northern basin of Tagus river (Peniche, São Pedro de Muel, Quiaios), this formation can be accepted as Sinemurian in age. As it happens with the carbonated complex, here also the first dolomite beds are non-isochronal throughout the region; upper time-limit of the dolomitic facies is either Lower Carixian, Lower Toarcian or even Lower Dogger. The dolomitization is secondary but not much later than sedimentation. However, between Cabo S. Vicente-Vila do Bispo there is evidence of an even later secondary dolomitization related to the regional fault complex. Calcário dolomítico com nódulos de silex da praia de Belixe (Belixe beach dolomitic-limestone with silex nodules) (50-55m) - Ascribed to Lower or Middle Carixian on the basis of Platypleuroceras sp., Metaderoceras sp. nov. and M. gr. Venarense. Calcário cristalino compacto com Protogrammoceras, Fuciniceras e ? Argutarpites de Belixe (Belixe compact crystalline limestone with Protogrammoceras, Fuciniceras and ? Argutarpites) (30m) - Ascribed to Lower Domerian. Middle and Upper Domerian are indicated but by a single specimen of ? Argutarpites. Calcários margosos e margas com Dactylioceras semicelatum e Harpoceratídeos de Armação Nova (Armação Nova marly limestones and marls with D. semicelatum and Harpoceratidae) (25m) -Ascribed to Lower Toarcian. Middle and Upper Toarcian formations are not known in the Algarve. Dogger Calcários oolíticos, c. corálicos, c. pisolíticos, c. calciclásticos, c. dolomíticos e dolomitos de Almadena (Almadena oolitic-limestones, coral-reef-limestones, pisolite-limestones, limeclastic-limestones, dolomitic-limestones and dolomite-rocks) (more than 50 metres), with lagoonal facies. Ascribed to Aalenian-Bathonian-? Callovian. Margas acinzentadas e calcários detríticos com Zoophycos da praia de Mareta (Mareta beach greyish marls and detritical limestones with Zoophycos) (40m) - Pelagic transreef facies with Upper Bajocian and Bathonian ammonites. Calcários margosos e margas da praia de Mareta (Mareta beach pelagic marly-limestones and marls) (110m) - Ascribed to the Callovian on its ammonites. Malm Near Cabo S. Vicente and Sagres the first Upper Jurassic level consists of a yellowish-brown nodular, compact, locally phosphated and ferruginous, sometimes conglomeratic, marly limestone (0,35-1,50m) containing a rich macrofauna, which includes: 1) Callovian forms unknown at Lower Oxfordian; 2) Upper Callovian forms that still survived in Lower and Middle Oxfordian; 3) Lower Oxfordian forms (Mariae and Cordatum Zones); 4) Lower and Middle Oxfordian forms (Mariae to Plicatilis Zone); 5) Middle Oxfordian forms (plicatilis Zone), and some ones appearing in Middle Oxfordian. This condensed deposit is therefore dated from Middle Oxfordian (Plicatilis Zone). The other Upper Jurassic lithostratigraphical units were also mapped but their detailed study is not presented in this work. Correlations between lithostratigraphical and chronostratigraphical scales from P. Choffat, J. Pratsch, C. Palain and from the author are stated. Further correlations are attempted between zonc scales of Carixian-Lower Toarcian and Upper Bajocian-Middle Oxfordian of France, Spain (Asturias, Iberian and Betic Chains), Argel (Orania) and Portugal (northern Tagus basin and Algarve). The study of pyritous fossil assemblages common in Upper Bathonian-Lower Callovian marly levels of the praia da Mareta seems to suggest that these sediments were deposited in a bay or in an almost closed coastal re-entrance virtually without deep water circulation. Although such conditions may occur at any depth one may suppose that these ones actually correspond to an infralittoral neritic environment. The thaphocoenosis collected there are almost entirely composed of nektonic (ammonites, Belemnites) and planktonic (Bositra) faunas. The sedentary (crinoids, brachiopods) or free (sea-urchins, gastropods) epibenthonic forms are very scarce; endobenthonic forms are not known. The palaeontological study of all Nautiloids and Ammonoids of the Liassic and Dogger is presented (except Kosmoceratidae and Perisphinctaceae). Among the thirty one taxa dealt with, one is new (Metaderoceras sp. nov.) and the great majority of the others has been identified for the first time in Algarve. Some others have never been reported before in Portuguese formations. The evolution, during Jurassic times, of the sedimentary basins of the Portuguese plate margin is described. The absence of Cephalopods in the very extensive marly and dolomitic limestones, partly marine, suggests that, during Lower Liassic, palaeogeography underwent no great changes. Dolomitic-limestone with silex nodules from Cabo S. Vicente contain the first ammonites recorded at the base of the Middle Liassic. This facies, although very common in Tethys, is unknown north of the Tagus. The faunal assemblage has a mediterranean to submediterranean character. Comparisons between faunal assemblage" from Algarve with the ones known north of the Tagus show that communications between Boreal Europe and Tethys, virtually non-existent during Lower and Middle Carixian, became very easy during Lower Domerian. In earlier Pliensbachian times two distinct seas were adjacent to the Iberian plate. One, an epicontinental sea with a tethyan fauna, extended southwards from the Meseta margin. Another, was a boreal sea; during its transgressive episodes boreal faunas attained into the basin north of the Tagus. During Middle Carixian and Lower Domerian, owing to simultaneous transgressions, these two seas joined together allowing faunal exchanges along the epicontinental areas which limited the emerging hercynian chains belts. During Liassic, the Algarve belonged undoubtedly to the tethyan submediterranean province. The area north of the Tagus, on the contrary, was a complex realm where subboreal and tethyan affinities alternatively prevailed. In the Algarve the first Middle Jurassic deposits do frequently show lateral thickness reductions as well as unconformities contemporaneous with other generalized disturbances on the sedimentation processes in other parts of Europe. By this time, near Sagres, a barrier reef developed separating lagoonal or ante-reef facies from the transreef pelagic zone. The presence of tethyan fauna, the abundance of Phylloceratidae and the absence of boreal forms allow us to consider the Algarve basin as a submediterranean province. The presence of Callovian pelagic fossiliferous formations in the Loulé area shows that during Middle Jurassic the marl-limestone transreef sedimentation was not confined to the western Algarve. They would extend eastwards where they only can be seen in the core of some anticlines. This is due to the progressive sinking of the meso-cenozoic formations as we proceed towards the South of the Sagres-Algoz-Querença flexure. In the whole of the Peninsule, and as for the Middle Callovian, an important regression can be clearly recognized on the evidence of an erosion surface which strikes obliquely the Middle and Upper Callovian strata. The geographic boundaries of the different faunal provinces are not changed by the presence of many Kosmoceratidae in the phosphate nodules since they are but a minority in comparison with the tethyan forms. An abstract model can be constructed showing that in Western Europe the Kosmoceratidae may have migrated South and westwards through a channel of the sea that linked Paris basin to Poitou and Aquitaine. By migrating between the Iberian meseta and the Armorican massif this fauna reached northern Tagus basin at the beginning of Upper Callovian (Athleta Zone); this south and southwest bound migration would have proceeded, allowing such forms to reach Algarve basin only in latest Callovian times (Lamberti Zone). This migration means that during Middle Jurassic a widely spread North Atlantic sea would exist, flooding the western part of Portugal up to the Poitou.

Notas sobre depósitos de Taveiro estratigrafia, paleontologia, idade, paleoecologia

This paper reports some research work that has been done to support Geological Survey's field work for the 1:50.000 Carta Geológica de Portugal, (sheets 19-C Figueira da Foz and 19-D Coimbra-Lousã). Its main purpose was to establish the age of some continental formations. At Cerâmica do Mondego, Ld.ª near Taveiro, two series were observed. The lower one is mainly pelitic, montmorillonite being predominant. It also includes some sandy beds and channel deposits with high energy sediments (conglomerate with limestone pebbles). The upper series lies unconformably upon the former, and there is a neat discontinuity surface between the two. It mainly consists of sands, kaolinite being the most abundant of the clay minerals. This seems to indicate an intensive weathering, an acid, well drained environment and transportation by quite high energy running waters. No fossils were recorded. Preliminary paleontological results are presented, along with some data concerning other localities (Aveiro, etc.). Fossils found in the lower series are: gastropoda (Bulimus gaudryi, TV. 15 bed), several vertebrates (TV. 18), fishes (TV. 19?) and plants (TV. 19-TV. 24). Vertebrata belong to the same fauna as that from Vizo, Aveiro, etc. The presence of mammals is most important as only a single tooth was previously Know in Europe (Southern France) in Late Cretaceous formations. Elsewhere there are some mammalian remains in Peru besides the rich assemblages found in the USA and Mongolia. Plants are representative of the «Debeya flora» well known at several localities in Beira Litoral province, in «Buçaco sandstones», and in Lisbon's «Basaltic Complex». The most important stratigraphical conclusion is that the lower series is Upper Campanian and/or Maastrichtian in age, and not Tertiary as sometimes it has been considered. As at Aveiro, «Bebeya flora» occurs in-beds somewhat higher than those with the Aveiro-Vizo-Taveiro vertebrate fauna. Correlation with other «Debeya flora» localities are now more clear. Data concerning Taveiro lower series, in the whole, point out to a rather warm (and moist?) environment in an occasionally (seasonally?) flooded region.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Notas sobre depósitos de Taveiro estratigrafia, paleontologia, idade, paleoecologia

This paper reports some research work that has been done to support Geological Survey's field work for the 1:50.000 Carta Geológica de Portugal, (sheets 19-C Figueira da Foz and 19-D Coimbra-Lousã). Its main purpose was to establish the age of some continental formations. At Cerâmica do Mondego, Lda. near Taveiro, two series were observed. The lower one is mainly pelitic, montmorillonite being predominant. It also includes some sandy beds and channel deposits with high energy sediments (conglomerate with limestone pebbles). The upper series lies unconformably upon the former, and there is a neat discontinuity surface between the two. It mainly consists of sands, kaolinite being the most abundant of the clay minerals. This seems to indicate an intensive weathering, an acid, well drained environment and transportation by quite high energy running waters. No fossils were recorded. Preliminary paleontological results are presented, along with some data concerning other localities (Aveiro, etc). Fossils found in the lower series are: gastropoda (Bulimus gaudryi, TV. 15 bed), several vertebrates (TV. 18), fishes (TV. 19?) and plants (TV. 19-TV. 24). Vertebrata belong to the same fauna as that from Vizo, Aveiro, etc. The presence of mammals is most important as only a single tooth was previously know in Europe (Southern France) in Late Cretaceous formations. Elsewhere there are some mammalian remains in Peru besides the rich assemblages found in the USA and Mongolia. Plants are representative of the «Debeya flora» well known at several localities in Beira Litoral province, in «Buçaco sandstones», and in Lisbon's «Basaltic Complex». The most important stratigraphical conclusion is that the lower series is Upper Campanian and/or Maastrichtian in age, and not Tertiary as sometimes it has been considered. As at Aveiro, «Bebeya flora» occurs in-beds somewhat higher than those with the Aveiro-Vizo-Taveiro vertebrate fauna. Correlation with other «Debeya flora» localities are now more clear. Data concerning Taveiro lower series, in the whole, point out to a rather warm (and moist?) environment in an occasionally (seasonally?) flooded region.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Les ostracodes du Miocène inférieur de la region de Lisbonne (basin du Tage)

Forty-five species of ostracoda from the Aquitanian of the Lisbon area, belonging in thirty-two genera, are presented. These are the first species belonging to this group reported for the Miocene formations in Portugal. Ostracoda assemblages are typical of fresh water, brackish and marine environments (littoral and inner continental shelf). References are made to the stratigraphically more significant species. Data on the paleoenvironments are also presented. A list of the studied species includes a comparison with their distribution in the Aquitaine and Rhone Miocene basins.

Goldra: premier gisement karstique en Algarve, faune et industries

A bone breccia from Goldra, near Loulé, is studied. It corresponds to the infilling of a karst depression, consisting of: rather worn and probably transported dolomite pebbles at the bottom; accumulations of frequently burnt bone scraps, much broken and with acute edges (no transport), certainly debris of human food, suggesting habitat level (s); in association with the former, stone (flint, quartz, quartzite, graywacke) rather uncharacteristic artifacts that seem compatible with middle and upper Paleolithic, or with Epipaleolithic; and small mammal teeth and bones. Fauna includes an extinct species, Microtus brecciensis recognized for the first time in Portugal. It is not older than Riss-Wiirm interglacial, and may be of this age or later, maybe that of one of wurm's first interstades. Fauna points out to a varied landscape with open country and woods; and to a rather warm and dry temperate, or dry subtropical mediterranean climate. Climate differences should not be significant in comparison with the extant situation. The presence of the mammal species found so far is consistent with modern distribution.

Évolution de la végétation et du climat pendant le miocène au Portugal

These work presents the quantitative and qualitative inventory and the stratigraphic distribution of fossil plants (spores, pollens, sterns, leaves and seeds) recognized the Miocene of the portuguese part of Tagus basin. For each lithostratigraphic unit, associations with ecological (paleoclimatic) meaning are defined. It was also possible to follow the evolution of the vegetation and the climate during the considered cronostratigraphic interval which includes most of the Miocene (Aquitanian to lower-middle Tortonian).

Le Crétacé terminal de Beira Litoral, Portugal: remarques stratigraphiques et écologiques,étude complémentaire de Rosasia soutoi (Chelonii, Bothremydidae)

The synthetic study of the uppermost Cretaceous of the Beira Litoral (fauna, flora) confirms its upper Campanian-Maastrichtian age. It shows the presence of a tropical to subtropical climate in an area constituted by a low coastal plain only occasionally linked to the sea, saturated with fresh water and possessing accordingly, a predominantely freshwater fauna (Viso, Aveiro); this plain changed towards the interior into a drier more forested zone with a more abundant terrestrial fauna which includes mammals (Taveiro). A thorough study of the chelonian Rosasia, abundant on the coastal plain, was made possible thanks to the discovery of a skull: it demonstrates that the genus belongs to the family Bothremydidae, revalided here. The composition of this family is presented, its phylogenetic and paleobiogeographic relation with the other pleurodires are analyzed, and its diagnosis established. The family is constituted of three groups; Rosasia belongs to one of these, the Bothremys group.

Palinomorfos ante-cenomanianos do «Grés do Buçaco» (Lousã, Portugal)

The palynological study of sediments from lower levels of Lousã basin (Lomba do Alveite Arkoses), is presented. The palynological association includes several species of Appendicisporites and Cicatricosisporites, Costatoperforosporites sp., Ischyosporites teixeirae, Pattelasporites tavaredensis, Echinatisporis sp., Spheripollenites perinatus, Tricolpopollenites sp. and Retitricolpites maximus. The presence of the last two forms; and the absence of Normapolles, suggest an ante-Cenomanian, most probably Albian age for the assemblage. From these results, the begining of the infilling of the Lousã basin, is, at least in part, synchronous with the deposition of the «Grés Grosseiro Inferior» from the Occidental portuguese Basin. The presence of Lower Cretaceous Basin, is shown for the first time.

Cytochrome c nitrite reductase from desulfovibrio desulfuricans ATCC 27774

The Journal of Biological Chemistry Vol. 278, No. 19, Issue of May 9, pp. 17455–17465, 2003

An integrated approach for TQM implementation in SMEs

This paper tackles the broad issue of TQM implementation in SMEs. It includes a review of two models aimed at improving organisational performance, the EFQM Excellence Model and the Balanced Scorecard, which have been widely used in large organisations. Both models are examined as to their suitability and applicability to small and medium sized enterprises. The findings indicate that SMEs can benefit from the adoption of an integrated approach that combines both models if some critical factors are considered in the implementation process. A theoretical framework is proposed, which considers such integration and leads to a gradual implementation of TQM principles and methods in SMEs.

Design of a doctorate programme on technology assessment: A sabbatical leave project

The work agenda includes the production of a report on different doctoral programmes on “Technology Assessment” in Europe, the US and Japan, in order to analyse collaborative post-graduation activities. Finally, the proposals on collaborative post-graduation programme between FCTUNL and ITAS-FZK will be organised by an ongoing discussion process with colleagues from ITAS.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática