Object DBMS NF2 DBMS. Relational DBMS

Transkript

1 DRIVER II (Lisp) Manuel de R f rence Franck Lebastard Janvier 1997 Rapport CERMICS N o 97-87

2 2

3 3 DRIVER II (Lisp) Manuel de R f rence Franck Lebastard quipe Base de donn es - CERMICS 2004 route des Lucioles BP Sophia Antipolis Cedex - France Franck.Lebastard@sophia.inria.fr R sum Ce document constitue la documentation du syst me de gestion de bases de donn es multimod les driver II version lisp. driver II d nit un sgbd multi-mod les au dessus d'un sgbd relationnel. Une base de donn es relationnelle est accessible sous forme relationnelle, nf2 ou objet apr s d nition d'un sch ma de correspondances d crivant les repr sentations de chaque mod le rapprocher et les correspondances concr tes entre elles. Un des atouts du syst me driver est qu'il permet chaque utilisateur de choisir le mod le et les structures dans lesquels vont lui tre pr sent es les donn es. Abstract This document is the reference manual of the multimodel database management system driver II for the lisp version. driver ii denes a multimodel dbms on the top of a relational dbms. A relational database can be accessible as a relational (views), an nf2 or an object database after that a correspondence schema describing model representations and concrete mapping between them has been dened. One of the main interests of the driver system is that each user can choose the model and the structures in which he sees and handles (shared) data.

4 4 Object DBMS OQL DRIVER USERS NF2 DBMS OQL (not Methods) DRIVER USERS SQL (Underlying relational DBMS) Relational DBMS SQL Fig. 1 L'architecture g n rale de Driver II

5 5 DRIVER [FEATURE] Ce trait indique que le module driver est charg en m moire. Si ce n'est pas le cas, on le charge par ^Ldriver (<CONTROL>l driver). Le chier driver.ll doit se trouver dans le r pertoire courant. Exemple (avec Ingres) :? (featurep 'driver) = ()? ^Ldriver ; Cloading ing_c.o Chargement de DRIVER II Chargement de DRIVER II Ok DRIVER II v Chargement des modeles a objets pour DRIVER Chargement des modeles a objets pour DRIVER Ok = driver.ll? (featurep 'driver) = driver DriverVersion [Variable] Contient le num ro de version de driver. La partie enti re est le num ro de version principal et la partie d cimale est le num ro de sous-version (date).? DriverVersion =

6 6 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET 1 Exploitation de Driver comme serveur SGBD objet 1.1 D nition d'un SGBD (DriverUseDBMSStratication <ObjectDBMSName> <NF2DBMSName> <RelDBMSName>) [SUBR 3 arguments] D nit la stratication de sgbd courante du serveur driver. <ObjectDBMSName> est le nom du sgbd objets utiliser, <NF2DBMSName> le nom du sgbd nf2 sous-jacent et <RelDBMSName> le nom du sgbd relationnel sous-jacent au sgbd nf2 choisi. Chaque sgbd est retrouv s'il existe d j dans le serveur ou est cr dans le cas contraire. Toute base de donn es d nie ult rieurement sera associ e au sgbd courant de m me mod le de donn e. En r gle g n rale, dans un serveur driver ne sont d nis qu'un seul sgbd objets et qu'un seul sgbd nf2. Le sgbd relationnel pourra changer selon la localisation de la base de donn es relationnelles utiliser.? (DriverUseDBMSStratification 'ObjectDriver 'NF2Driver 'ingres) = <ObjectDBMS ObjectDriver> (DriverDeneDBMSDefaultObjectModel <ObjectDBMSName> <ObjectModelName>) [SUBR 2 arguments] D nit le mod le objets de nom <ObjectModelName> comme mod le utiliser par d faut dans le sgbd objet de nom <ObjectDBMSName>. Cette d claration n'est valide que si le mod le est disponible dans le serveur (cf 4.1). Quand aucun mod le par d faut n'est d ni l'aide de cette fonction, c'est MicroCeyx qui est utilis.? (DriverDefineDBMSDefaultObjectModel 'ObjectDriver 'MicroCeyx) = <ObjectModel MicroCeyx>

7 1.2 Gestion des utilisateurs Gestion des utilisateurs (DriverCryptPassword <PasswordString>) [SUBR 1 argument] Retourne la valeur crypt e du mot de passe <PasswordString>. Cette valeur crypt e est utilisable avec les fonctions de d nition d'utilisateur (famille DriverDefineUserStratification).? (DriverCryptPassword "APassword") = 694 (DriverDeneUserStratication <UserName> <CryptedPassword> <NF2UserName> <NF2CryptedPassword> <RelUserName> <RelCryptedPassword>) (DriverDeneObjectUserStratication <UserName> <CryptedPassword> <NF2UserName> <NF2CryptedPassword> <RelUserName> <RelCryptedPassword>) [SUBR 6 arguments] D nit une stratication d'utilisateurs dans le serveur driver. L'utilisateur de nom <UserName> et de mot de passe crypt <CryptedPassword> est retrouv ou cr dans la strate objet, l'utilisateur de nom <NF2UserName> et de mot de passe crypt <NF2CryptedPassword> est retrouv ou cr dans la strate nf2 et l'utilisateur de nom <RelUserName> et de mot de passe crypt <RelCryptedPassword> est retrouv ou cr dans la strate relationnelle. Les trois utilisateurs sont ensuite associ s et quivalents dans leurs strates respectives. La valeur de mot de passe crypt () d nit l'utilisateur correspondant sans mot de passe.? (DriverDefineObjectUserStratification 'lebastard (DriverCryptPassword "MyPasswd") 'lebastard (DriverCryptPassword "MyPasswd") 'lebastar ()) = <ObjectUser lebastard>

8 8 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET (DriverDeneUserDefaultObjectModel <UserName> <ObjectModelName>) [SUBR 2 arguments] D nit le mod le objets de nom <ObjectModelName> comme mod le utiliser par d faut pour l'utilisateur de nom <UserName> (strate objet). Cette d claration n'est valide que si le mod le est disponible dans le serveur (cf 4.1).? ^Ldriversmeci.lo = driversmeci.lo? (DriverDefineUserDefaultObjectModel 'lebastard 'SmeciObjectModel) = <ObjectModel SmeciObjectModel> 1.3 Gestion des bases de donn es (DriverDatabaseDenitionMode <ObjectDatabaseName> <NF2DatabaseName> <RelDatabaseName>) [MACRO 1, 2 ou 3 arguments] (DriverObjectDatabaseDenitionMode <ObjectDatabaseName> <NF2DatabaseName> <RelDatabaseName>) [SUBR 3 arguments] D nit la stratication de bases de donn es dans laquelle vont s'ins rer les structures de donn es qui vont tre d crites. <ObjectDatabaseName> est le nom de la base de donn es objets utiliser, <NF2DatabaseName> le nom de la base de donn es nf2 sous-jacente et <RelDatabaseName> le nom de la base de donn es relationnelle. Chaque base de donn es est retrouv e si elle existe d j dans le sgbd courant correspondant ou est cr e dans le cas contraire.? ;;; quivaut (DriverObjectDatabaseDefinitionMode 'demo 'demo 'demo)? (DriverDatabaseDefinitionMode 'demo) = t

9 1.3 Gestion des bases de donn es 9 (DriverCreateObjectPrimitiveType <TypeName>. <SuperTypeName>) [SUBR 1 ou 2 arguments] D nissent dans la base de donn es nf2 courante un nouveau type primitif de nom <TypeName>. Si <SuperTypeName> est pr cis, ce type est un sous-type du type <SuperTypeName>. Le nouveau type est galement cr dans la base objet de la strate sup rieure si elle existe. Cette fonction est strictement identique la fonction Driver- CreateNF2PrimitiveType.? (DriverCreateObjectPrimitiveType 'symbol 'string) = <symbol Type> Conversion de donn es L'utilisateur peut d nir les fonctions utilis es par le syst me pour transformer des donn es d'un type dans un autre. Ces fonctions ont pour nom Driver_Type1_Type2, prennent un argument qui est la donn e convertir, de type Type1, et retourne la donn e convertie, de type Type2. L'absence de valeur est autoris e en entr e comme en sortie et est repr sent e par la valeur () (nil).? (de Driver_string_symbol (String)? (if String (symbol () String))) = Driver_string_symbol? (de Driver_symbol_string (Symbol)? (if Symbol (string Symbol))) = Driver_symbol_string

10 10 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET (DriverDeneClass <ClassName>. <Descriptions>) [MACRO] D nit une classe de nom <ClassName> dans la base de donn es courante (sur le serveur driver uniquement). La structure de donn es est cr e dans la strate nf2 et, si elle existe, dans la strate objet : ainsi, DriverDeneClass et DriverDeneNF2Collector sont deux points d'entr e de la m me fonction. Les <Descriptions> sont des listes au moins deux l ments, le premier tant un mot-cl (symbol), les suivants d nissant la valeur associ e au mot-cl. Un certain nombre de <Descriptions> sont ici possibles : (SubclassOf SuperClassName) pr cise que la classe en cours de description est une sous-classe de la classe de nom SuperClassName. La correspondance relationnelle de la classe (resp. du collecteur nf2) est principalement une table relationnelle logique (table l mentaire principale). Elle est pr cis e par une <Description> de la forme : (MappedOn LogicalTableDescription) ou (MainlyMappedOn LogicalTableDescription) o LogicalTableDescription peut tre : un nom de table relationnelle de la base relationnelle sous-jacente. La table logique s'identie alors cette table de m me nom dans la base relationnelle. une liste (LogicalTableName TableName <Description>), laquelle d nit une nouvelle table logique de nom LogicalTableName. TableName est le nom de la table de la base relationnelle sous-jacente sur laquelle est d nie la table logique. <Description>, optionnelle, pr cise la table logique; la seule <Description> compl mentaire possible ici est (ReadOnly Boolean) qui sp cie, quand Boolean vaut t, que la table logique est en lecture seulement. Par d faut, lecture et criture sont autoris es. un nom de table logique d j d nie. La <Description> du type de la classe (resp. du collecteur nf2) est obligatoire. Un type est une composition de constructeurs de type et de types. Certains termes sont nomm s pour d nir des slots. Les <Descriptions> suivantes sont disponibles : (TupleOf SlotName <Description1>...<DescriptionN>) d nit un slot de nom SlotName et de type N-uplet. Les composants du n-uplet sont d crits par <Description1>... <DescriptionN>. SlotName est facultatif et n'a de pas de

11 1.3 Gestion des bases de donn es 11 raison d' tre utilis si le n-uplet est le constructeur de plus haut niveau de la classe (resp. du collecteur nf2). Les <Descriptions> optionnelles suivantes permettent de pr ciser la d nition du slot : (ReadOnly t) indique que le slot (ici de type <TupleType>) est consid r par le sgbd comme n' tant accessible qu'en lecture pour l'utilisateur. En cons quence, toute ventuelle modication de son contenu sera ignor lors de la validation de transaction. (Volatile t) indique que le slot n'est pas persistant. Quand la correspondance relationnelle de la classe est g n r e, aucune structure relationnelle ne lui est associ e. Ce genre de slot est int ressant pour contenir les informations temporaires des objets (interface graphique,... ). (TypeName SlotName. <Descriptions>) d nit un slot de nom SlotName et de type simple TypeName. TypeName peut tre Atomic, Reference, integer, oat, string ou tout autre type disponible dans le sgbd courant. Reference permet de d nir un slot de type r f rence d'objet. Au niveau objet, le contenu d'un tel slot est un pointeur sur un objet. Au niveau nf2, il devient une cl trang re de collecteur. Les <Descriptions> optionnelles suivantes permettent de pr ciser la d nition des slots : (ReadOnly t) indique que le slot est consid r par le sgbd comme n' tant accessible qu'en lecture pour l'utilisateur. En cons quence, toute ventuelle modication de son contenu sera ignor lors de la validation de transaction. (Volatile t) indique que le slot n'est pas persistant. Quand la correspondance relationnelle de la classe est g n r e, aucune structure relationnelle ne lui est associ e. Ce genre de slot est int ressant pour contenir les informations temporaires des objets (interface graphique,... ). (MappedOn LogicalAttributeDescription) permet de pr ciser la correspondance relationnelle du slot, savoir un attribut relationnel. Logical- AttributeDescription est de la forme : (LogicalTableDescription AttributeName) o LogicalTableDescription est une description de table logique comme pr c demment d nie et AttributeName est un nom d'attribut de cette table. (RelConstraint Lambda LogicalAttributeDescription) permet de poser une contrainte sur la correspondance relationnelle du slot. La Lambda, un seul argument, est l'expression de la contrainte : si l'application de

12 12 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET la lambda une valeur de l'attribut retourne un r sultat di rent de (), la contrainte est respect e; dans le cas contraire, elle est viol e. Logical- AttributeDescription est facultative. (ReferTo ClassName) permet de pr ciser la classe (resp. le collecteur nf2) des objets (resp. des donn es complexes) r f renc (e)s quand le slot est de type r f rence d'objet. (Inverse (ClassName Slot1Name... SlotNName)) permet de pr ciser, quand un slot est de type r f rence d'objet, l' ventuel slot SlotNName de la classe r f renc e qui est le lien inverse du slot en cours de d nition. (ClassName Slot1Name... SlotNName) doit se lire comme l'acc s absolu du slot inverse SlotNName dans sa classe, soit ClassName.Slot1Name.(...).SlotNName. Remarques : * Le mot-cl Atomic n'est autoris comme type de slot que si la <Description> MappedOn est pr cis e. Le type du slot est alors le type de l'attribut associ. * Si le type du slot et le type de l'attribut relationnel sont di rents, les convertisseurs (cf. page 9) de donn es d nis cet eet seront utilis s pour convertir les donn es d'un type dans l'autre lors de l'exploitation. (CollectionTypeName SlotName. <Descriptions>) o CollectionTypeName est un mot-cl parmi BagOf, SetOf, ListOf et ArrayOf d nit un slot de nom SlotName et de type collection (plus pr cis ment de type bag, set, list ou array). Chaque collection est homog ne, tous ses l ments sont du m me type. L' l ment de collection doit obligatoirement tre d crit par l'une des <Descriptions>; les autres permettent de pr ciser la d nition du slot : (ReadOnly t) indique que le slot est consid r par le sgbd comme n' tant accessible qu'en lecture pour l'utilisateur. En cons quence, toute ventuelle modication de son contenu sera ignor lors de la validation de transaction. (Volatile t) indique que le slot n'est pas persistant. Quand la correspondance relationnelle de la classe est g n r e, aucune table relationnelle ne lui est associ e. Ce genre de slot est int ressant pour contenir les informations temporaires des objets (interface graphique,... ). (MappedOn LogicalTableDescription) permet de pr ciser sa correspondance relationnelle, savoir une table logique. Cette table logique, support des collections, doit obligatoirement tre rattach e la collection propri taire ou la classe (resp. le collecteur nf2) par une jointure qui doit tre d crite dans une autre <Descriptions> compl mentaire de la m me collection.

13 1.3 Gestion des bases de donn es 13 (RelConstraint Lambda LogicalAttribute1Description... LogicalAttributeNDescription) permet de poser une contrainte sur la correspondance relationnelle de la collection, savoir la table logique associ e. La Lambda, N arguments, est l'expression de la contrainte : si l'application de la lambda aux valeurs des attributs LogicalAttribute1Description...LogicalAttributeNDescription retourne un r sultat di rent de (), la contrainte est respect e; dans le cas contraire, elle est viol e. (JoinDescription LogicalTable1Description LogicalTable2Description Lambda LogicalAttribute1Description... LogicalAttributeN- Description) permet de d nir une jointure entre les tables logiques LogicalTable1Description et LogicalTable2Description. La Lambda, N arguments, d nit l'expression de la jointure et ses arguments repr sentent les N attributs LogicalAttributePDescription. Remarques : * Si LogicalTable2Description doit tre la correspondance principale de la collection en cours de description et si LogicalTable1Description est l'une des tables l mentaires de la collection propri taire ( ventuellement la classe, resp. le collecteur nf2), cette jointure pr cise comment atteindre les l ments de la collection courante partir des l ments de la collection propri taire. * Si LogicalTable1Description est une des tables l mentaires de la collection en cours de description et si LogicalTable2Description doit tre une nouvelle table l mentaire de cette m me collection en cours de description, la jointure pr cise comment associer un n-uplet de LogicalTable1- Description un n-uplet de LogicalTable2Description pour chaque l ment de la collection courante. (OrderedBy (LogicalAttribute1Description Order1)... (Logical- AttributeNDescription OrderN) permet de d nir des crit res de tri primaire, secondaire, etc. Pour chacun, le tri peut tre ascendant ou descendant (OrderP vaut Ascending ou Descending). Cette <Description> n'a pas de sens pour d nir la correspondance d'une collection de type set. Elle est par contre obligatoire pour d nir la correspondance des collections de type bag, list et array. (Computation SlotName. <Descriptions>) d nit un slot de nom SlotName et de type calcul.

14 14 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET Les <Descriptions> permettent de pr ciser la d nition du slot : (ComputationType CType) permet de pr ciser la nature du calcul, savoir monon-uplet ou multin-uplets (CType vaut MonoTupleComputation ou MultiTupleComputation). (DefinedBy Lambda LogicalAttribute1Description... LogicalAttributeNDescription) d nit le calcul. La Lambda, N arguments, d nit son expression et ses arguments repr sentent les N attributs LogicalAttributeP- Description. Une expression de calcul monon-uplet peut utiliser les quatre op rations +,, et =. Une expression de calcul multi-n-uplets peut en plus faire intervenir les fonctions average (moyenne) et sum (somme). La correspondance relationnelle de la classe (resp. du collecteur nf2) peut, outre la table l mentaire principale, comprendre d'autres tables l mentaires, dites tables l mentaires secondaires. Des jointures doivent alors permettre d'atteindre depuis la table principale, de proche en proche, toutes les tables l mentaires. Chaque jointure doit tre d crite par une <Descriptions> : (JoinDescription LogicalTable1Description LogicalTable2Description Lambda LogicalAttribute1Description... LogicalAttributeNDescription) qui d nit une jointure entre la table LogicalTable1Description et la table Logical- Table2Description. La Lambda, N arguments, d nit l'expression de la jointure et chacun de ses arguments repr sente les N attributs LogicalAttributePDescription. Exemples de d nition : (DriverDefineClass employee (TupleOf (symbol name) (symbol firstname) (symbol jobdesc) (Reference manager (ReferTo employee)) (float salary (RelConstraint (lambda (s) (and (>= s 700.) (<= s 9999.)))))

15 1.3 Gestion des bases de donn es 15 (Reference dept (ReferTo department) (Inverse (department employees))))) ; autre description possible de la m me classe ; avec d finition du mapping (DriverDefineClass employee (MainlyMappedOn emp) (TupleOf (symbol name (MappedOn (emp ename))) (symbol firstname (MappedOn (emp fname))) (symbol jobdesc (MappedOn (emp job))) (Atomic manager (ReferTo employee) (MappedOn (emp mgr))) (Atomic salary (MappedOn (emp sal)) (RelConstraint (lambda (s) (and (>= s 700.) (<= s 9999.))))) (Atomic dept (MappedOn (emp deptn)) (ReferTo department) (Inverse (department employees))))) (DriverDefineClass salesman (SubclassOf employee) (TupleOf (symbol jobdesc (RelConstraint (lambda (a) (eq a 'salesman)))) (Atomic commission (MappedOn (emp com))) (Computation income (DefinedBy (lambda (a b) (+ a b)) (emp sal) (emp com)))))

16 16 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET (DriverDefineClass department (MainlyMappedOn dept) (TupleOf (symbol name (MappedOn (dept dname))) (SetOf employees (MappedOn (e emp)) (Atomic (MappedOn (e empno)) (ReferTo employee)) (ReadOnly t) (Inverse (employee dept)) (JoinDescription dept e (lambda (a1 a2) (eq a1 a2)) (dept deptno) (e deptn))) (ListOf sites (symbol sname (MappedOn (deptsite sname))) (MappedOn deptsite) (OrderedBy ((deptsite sname) Ascending))) (Computation salaryaverage (ComputationType MultiTupleComputation) (DefinedBy (lambda (a) (average a)) (emp sal)))) (JoinDescription dept emp (lambda (a1 a2) (eq a1 a2)) (dept deptno) (emp deptn)) (JoinDescription dept deptsite (lambda (a1 a2) (eq a1 a2)) (dept deptno) (deptsite dept))) (DriverMakeAllClassesPersistent) [SUBR sans argument] G n re les tables relationnelles et les correspondances n cessaires la persistance dans la base de donn es relationnelle des objets des classes de la base de donn es objets courante. Si certaines classes ou certaines parties de classes sont d j associ es des structures relationnelles, ces correspondances sont conserv es et compl t es. Les slots d nis par l'utilisateur comme volatiles sont ignor s par le g n rateur.

17 1.3 Gestion des bases de donn es 17 La fonction DriverNewRelationalDatabaseDenition peut tre avantageusement utilis e conjointement avec DriverMakeAllClassesPersistent an de g n rer toujours les m mes correspondances relationnelles pour un ensemble de classes donn.? (DriverMakeAllClassesPersistent) = t (DriverMakeClassPersistent <ClassName>) [SUBR 1 argument] G n re les tables relationnelles et les correspondances n cessaires la persistance dans la base de donn es relationnelle des objets de la classe de nom <ClassName> de la base de donn es objets courante. Si certaines parties de la classe sont d j associ es des structures relationnelles, ces correspondances sont conserv es et compl t es. Les slots d nis par l'utilisateur comme volatiles sont ignor s par le g n rateur. La fonction DriverNewRelationalDatabaseDenition peut tre avantageusement utilis e conjointement avec DriverMakeClassPersistent an de g n rer toujours les m mes correspondances relationnelles pour une classe donn e.? (DriverMakeClassPersistent 'employee) = t (DriverDatabaseDenitionModeEnd) (DriverObjectDatabaseDenitionModeEnd) [SUBR sans argument] [SUBR sans argument] Cl t le mode de d nition de base de donn es.? (DriverDatabaseDefinitionModeEnd) = t

18 18 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET 1.4 Exploitation des donn es Authentication de l'utilisateur L'exploitation du serveur driver n'est possible qu'apr s authentication de l'utilisateur. (DriverConnectLocalUser <UserName> <Password>) (DriverConnectObjectLocalUser <ObjectUserName> <Password>) [SUBR 2 arguments] Authentie l'utilisateur <UserName> (strate objet) par son mot de passe <Password>.? (DriverConnectLocalUser 'lebastard "MyPasswd") = t Gestion des transactions Un utilisateur authenti ne peut acc der aux donn es qu' l'int rieur d'une transaction. (DriverCreateTransaction <ObjectDatabaseName>) (DriverCreateObjectTransaction <ObjectDatabaseName>) [SUBR 1 argument] Cr e et retourne une transaction objet sur la base de donn es de nom <ObjectDatabase- Name>. Les op rations sur cette transaction seront d clench es par envois de message l'objet transaction.? (setq Tr (DriverCreateTransaction 'demo)) = <ObjectTransaction <ObjectUser lebastard>, <ObjectDatabase demo (send 'Begin <Transaction>) [MESSAGE] Ouvre la transaction <Transaction>. Apr s ouverture de la transaction, l'acc s aux donn es peut commencer. La transaction ouverte devient la transaction courante.

19 1.4 Exploitation des donn es 19? (send 'Begin Tr) = t (DriverCurrentTransaction) (DriverCurrentObjectTransaction) [SUBR sans argument] Retourne la transaction objet courante, c'est- -dire la derni re ouverte (et non la derni re cr e).? (DriverCurrentTransaction) = <ObjectTransaction <ObjectUser lebastard>, <ObjectDatabase demo (send 'Commit <Transaction>) [MESSAGE] Valide la transaction <Transaction>. La validation par Commit se termine par le rel chement de tous les verrous et par la destruction de l'objet <Transaction>.? (send 'Commit Tr) = t (send 'Rollback <Transaction>) [MESSAGE] Annule la transaction <Transaction>. L'annulation se termine par le rel chement de tous les verrous et par la destruction de l'objet <Transaction>.? (send 'Rollback Tr) = t

20 20 1 EXPLOITATION DE DRIVER COMME SERVEUR SGBD OBJET L'acc s aux donn es L'acc s aux objets, aux donn es les constituant et l'attribution de la persistance se font par les fonctions suivantes : (DriverQuery <OQLQuery>) [SUBR 1 argument] Permet d'acc der la base de donn es objet de la transaction courante l'aide du langage OQL d ni par la norme ODMG. <OQLQuery> doit tre une cha ne de caract res constituant une requ te OQL.? (DriverQuery "select e from e in employee;") = (<object martin> <object miller> <object james> <object ward> <object allen> <object jones> <object blake> <object clark> <object ford> <object scott> <object king>)? (DriverQuery "select e.name from e in employee where e.salary>1200. and e.salary<2000.;") = (ward martin james)? (DriverQuery "select struct(n: e.name, f: e.firstname, p: e.phone) from e in employee where e.salary > and e.salary < 2000.;") = (#[martin georges ] #[allen jack ] #[miller paul ] #[james peter ] #[ward peter ])? (DriverQuery "select struct(n: e.name, f: e.firstname, p: e.phone) from e in salesman where e.salary > and e.salary < 2000.;") = (#[martin georges ] #[allen jack ] #[james peter ] #[ward peter ])? (DriverQuery "select struct(emp: e.name, man: e.manager.name) from e in employee;") = (#[ford jones] #[scott jones] #[allen blake] #[james blake] #[martin blake] #[ward blake] #[miller clark] #[blake king] #[clark king] #[jones king] #[smith ford])? (DriverQuery "select struct(emp: e, man: e.manager) from e in employee;") = (#[<object ford> <object jones>] #[<object scott> <object jones>] #[<object allen> <object blake>] #[<object james> <object blake>] #[<object martin> <object blake>] #[<object ward> <object blake>] #[<object miller> <object clark>] #[<object blake> <object king>] #[<object clark> <object king>] #[<object jones> <object king>] #[<object smith> <object ford])? (DriverQuery "select e from e in employee where e.dept.name=""sales"";") = (<object martin> <object blake> <object allen> <object james> <object ward>)? (DriverQuery "select e from e in employee where e.manager.name=""blake"";") = (<object martin> <object allen> <object james> <object ward>)

21 1.4 Exploitation des donn es 21 (DriverLoadObject <UserObject>) [SUBR 1 argument] (Re)Charge en m moire l'objet <UserObject> l'aide des donn es contenues dans le sgbd sous-jacent. Si <UserObject> est encore sous la forme d'un d faut d'objet, remplace le d faut par l'objet qu'il repr sentait.? (setq d (DriverQuery "select distinct e.dept from e in employee;")) = (<An object default> <An object default> <An object default>)? (DriverLoadObject (car d)) = <object accounting>? d = (<object accounting> <An object default> <An object default>) (DriverMakeObjectPersistent <UserObject>) [SUBR 1 argument] Rend persistant l'objet <UserObject>. Tous les objets r f renc s directement ou indirectement par des slots persistants de <UserObject> deviennent galement persistants s'ils ne l' taient pas d j.? (DriverMakeObjectPersistent? (omakeq {department} name 'factory)) = <object factory> (DriverRemoveObjectPersistency <UserObject>) [SUBR 1 argument] Rend volatile l'objet <UserObject>. L'objet et toutes ses r f rences sont supprim s de la base de donn es la validation de la transaction.? (DriverRemoveObjectPersistency

22 22 2 EXPLOITATION DE DRIVER COMME SERVEUR SGBD NF2? (car (DriverQuery? "select e from e in employee where e.name=""miru"";"))) = <object Miru> (DriverCreateClass <ClassName>) [SUBR 1 argument] Cr e dynamiquement la classe <ClassName> dans le mod le objets de la transaction courante. Cette fonction est utile pour ex cuter des requ tes OQL qui doivent retourner des objets dont la classe n'a pas t cr e par l'application.? (DriverCreateClass 'project) = t? (omakeq {project} name 'alpha) = <object alpha> (DriverCreateClasses) [SUBR sans argument] Cr e dynamiquement dans le mod le objets de la transaction courante toutes les classes de la base objets acc d e dans cette m me transaction. Comme la pr c dente, cette fonction est utile pour ex cuter des requ tes OQL qui doivent retourner des objets dont les classes n'ont pas t cr es par l'application.? (DriverCreateClasses) = t 2 Exploitation de Driver comme serveur SGBD NF2 2.1 D nition d'un SGBD (DriverUseNF2DBMSStratication <NF2DBMSName> <RelDBMSName>) [SUBR 2 arguments]

23 2.2 Gestion des utilisateurs 23 D nit la stratication de sgbd courante du serveur driver quand la strate objet n'est pas utilis e. <NF2DBMSName> est le nom du sgbd nf2 utiliser et <RelDBMSName> le nom du sgbd relationnel sous-jacent. Chaque sgbd est retrouv s'il existe d j dans le serveur ou est cr dans le cas contraire.? (DriverUseNF2DBMSStratification 'NF2Driver 'ingres) = <NF2DBMS NF2Driver> 2.2 Gestion des utilisateurs (DriverDeneNF2UserStratication <NF2UserName> <NF2CryptedPassword> <RelUserName> <RelCryptedPassword>) [SUBR 4 arguments] D nit une stratication d'utilisateurs dans le serveur driver. L'utilisateur de nom <NF2UserName> et de mot de passe crypt <NF2CryptedPassword> est retrouv ou cr dans la strate nf2 et l'utilisateur de nom <RelUserName> et de mot de passe crypt <RelCryptedPassword> est retrouv ou cr dans la strate relationnelle. Les deux utilisateurs sont ensuite associ s et quivalents dans leurs strates respectives. La valeur de mot de passe crypt () d nit l'utilisateur correspondant sans mot de passe.? (DriverDefineNF2UserStratification 'lebastard (DriverCryptPassword "MyPasswd") 'lebastar ()) = <NF2User lebastard> 2.3 Gestion des bases de donn es (DriverNF2DatabaseDenitionMode <NF2DatabaseName> <RelDatabaseName>) [SUBR 2 arguments]

24 24 2 EXPLOITATION DE DRIVER COMME SERVEUR SGBD NF2 D nit la stratication de bases de donn es dans laquelle vont s'ins rer les structures de donn es qui vont tre d crites quand la strate objet n'est pas utilis e. <NF2DatabaseName> est le nom de la base de donn es nf2 et <RelDatabaseName> le nom de la base de donn es relationnelle sous-jacente. Chaque base de donn es est retrouv e si elle existe d j dans le sgbd courant correspondant ou est cr e dans le cas contraire.? (DriverNF2DatabaseDefinitionMode 'demo 'ingresdemo) = t (DriverCreateNF2PrimitiveType <TypeName>. <SuperTypeName>) [SUBR 1 ou 2 arguments] D nissent dans la base de donn es nf2 courante un nouveau type primitif de nom <TypeName>. Si <SuperTypeName> est pr cis, ce type est un sous-type du type <SuperTypeName>. Le nouveau type est galement cr dans la base objet de la strate sup rieure si elle existe. Cette fonction est strictement identique la fonction Driver- CreateObjectPrimitiveType. Les convertisseurs de type doivent tre d nis comme il est sp ci page 9.? (DriverCreateNF2PrimitiveType 'lisp 'string) = <lisp Type>? (de Driver_string_lisp (String)? (if String (read-from-string String))) = Driver_string_lisp? (de Driver_lisp_string (Lisp)? (if Lisp (print-to-string Lisp))) = Driver_lisp_string (DriverDeneNF2Collector <NF2CollectorName>. <Descriptions>) [MACRO] D nit un collecteur nf2 de nom <NF2CollectorName> dans la base de donn es courante (sur le serveur driver uniquement). La structure de donn es est cr e dans la strate nf2

25 2.3 Gestion des bases de donn es 25 et, si elle existe, dans la strate objet : ainsi, DriverDefineClass et DriverDefineNF2- Collector sont deux points d'entr e de la m me fonction. Voir la description de DriverDefineClass pour davantage d'informations (remplacer classe par collecteur nf2). (DriverMakeAllNF2CollectorsPersistent) [SUBR sans argument] G n re les tables relationnelles et les correspondances n cessaires la persistance dans la base de donn es relationnelle des donn es des collecteurs nf2 de la base de donn es nf2 courante. Si certains collecteurs ou certaines parties de collecteurs sont d j associ es des structures relationnelles, ces correspondances sont conserv es et compl t es. Les slots nf2 d nis par l'utilisateur comme volatiles sont ignor s par le g n rateur. La fonction DriverNewRelationalDatabaseDenition peut tre avantageusement utilis e conjointement avec DriverMakeAllNF2CollectorsPersistent an de g n rer toujours les m mes correspondances relationnelles pour un ensemble de collecteurs donn.? (DriverMakeAllNF2CollectorsPersistent) = t (DriverMakeNF2CollectorPersistent <NF2CollectorName>) [SUBR 1 argument] G n re les tables relationnelles et les correspondances n cessaires la persistance dans la base de donn es relationnelle des donn es du collecteur nf2 de nom <NF2CollectorName> de la base de donn es nf2 courante. Si certaines parties du collecteur sont d j associ es des structures relationnelles, ces correspondances sont conserv es et compl t es. Les slots nf2 d nis par l'utilisateur comme volatiles sont ignor s par le g n rateur. La fonction DriverNewRelationalDatabaseDenition peut tre avantageusement utilis e conjointement avec DriverMakeNF2CollectorPersistent an de g n rer toujours les m mes correspondances relationnelles pour un collecteur donn.? (DriverMakeNF2CollectorPersistent 'employee) = t

26 26 2 EXPLOITATION DE DRIVER COMME SERVEUR SGBD NF2 (DriverNF2DatabaseDenitionModeEnd) [SUBR sans argument] Cl t le mode de d nition de base de donn es.? (DriverNF2DatabaseDefinitionModeEnd) = t 2.4 Exploitation des donn es Authentication de l'utilisateur (DriverConnectNF2LocalUser <NF2UserName> <Password>) [SUBR 2 arguments] Authentie l'utilisateur nf2 <NF2UserName> par son mot de passe <Password>.? (DriverConnectNF2LocalUser 'lebastard "MyPasswd") = t Gestion des transactions (DriverCreateNF2Transaction <NF2DatabaseName>) [SUBR 1 argument] Cr e et retourne une transaction nf2 sur la base de donn es de nom <NF2Database- Name>. Les op rations sur cette transaction seront d clench es par envois de message l'objet transaction.? (DriverCreateNF2Transaction 'demo) = <NF2Transaction <NF2User lebastard>, <NF2Database demo

27 2.4 Exploitation des donn es 27 (send 'Begin <NF2Transaction>) (send 'Commit <NF2Transaction>) (send 'Rollback <NF2Transaction>) [MESSAGE] [MESSAGE] [MESSAGE] Tous les messages de transaction sont utilisables avec les transactions nf2. (DriverCurrentNF2Transaction) [SUBR sans argument] Retourne la transaction nf2 courante, c'est- -dire la derni re ouverte (et non la derni re cr e).? (DriverCurrentNF2Transaction) = <NF2Transaction <NF2User lebastard>, <NF2Database demo L'acc s aux donn es (DriverNF2Query <OQLQuery>) [SUBR 1 argument] Permet d'acc der la base de donn es nf2 de la transaction courante l'aide du langage OQL d ni par la norme ODMG. <OQLQuery> doit tre une cha ne de caract res constituant une requ te OQL.? (DriverNF2Query "select e from e in employee;") = (#[7654 martin georges 234FS1 salesman ] #[7934 miller paul 95Z0H5 clerk ] #[7655 james peter K4G262 salesman ()] #[7521 ward peter salesman ] #[7499 allen jack 76373Y salesman ] #[7566 jones eric B7C123 manager ] #[7698 blake harold A473SE manager ] #[7782 clark john 462SQ1 manager ] #[7902 ford john 6D3210 analyst ] #[7788 scott pit XA435C analyst ] #[7839 king paul A34F4 president () ])

28 28 3 EXPLOITATION DE DRIVER COMME SERVEUR SGBD RELATIONNEL? (DriverNF2Query "select e.name from e in employee where e.salary>1200. and e.salary<2000.;") = (ward martin james)? (DriverNF2Query "select struct(n: e.name, f: e.firstname, p: e.phone) from e in employee where e.salary > and e.salary < 2000.;") = (#[martin georges ] #[allen jack ] #[miller paul ] #[james peter ] #[ward peter ]) 3 Exploitation de Driver comme serveur SGBD relationnel 3.1 Gestion des bases de donn es (DriverRelationalDatabaseDenitionMode <RelDatabaseName>) [SUBR 1 argument] D nit la base de donn es relationnelle dans laquelle vont s'ins rer les structures de donn es qui vont tre d crites quand les strates objet et nf2 ne sont pas utilis es. La base de donn es est retrouv e si elle existe d j dans le sgbd courant correspondant ou est cr e dans le cas contraire.? (DriverRelationalDatabaseDefinitionMode 'ingresdemo) = t (DriverCreateRelationalType <TypeName>. <SuperTypeName>) [SUBR 1 ou 2 arguments] D nit dans la base de donn es relationnelle courante un nouveau type de nom <Type- Name>. Si <SuperTypeName> est pr cis, ce type est un sous-type du type <Super- TypeName>. Le nouveau type est galement cr dans les bases des strates sup rieures (nf2 et objet) si elles existent.? (DriverCreateRelationalType 'money) = <money Type>? (DriverCreateRelationalType 'float4 'float) = <float4 Type>

29 3.1 Gestion des bases de donn es 29 (DriverNewRelationalDatabaseDenition) [SUBR sans argument] Supprime de la base de donn es relationnelle courante toutes les d nitions de table existantes (uniquement dans le serveur driver). Cette fonction est utile pour nettoyer une base de donn es relationnelle avant g n ration de correspondances de classes ou de collecteurs nf2. Ce nettoyage permet en particulier de g n rer les m mes correspondances lors de tout chargement d'un sch ma objet ou nf2 donn.? (DriverNewRelationalDatabaseDefinition) = t (DriverDeneRelationalTable <TableName> <Attribute1>... <AttributeN>) [MACRO] D nit la table relationnelle de nom <TableName> dans la base de donn es relationnelle courante (dans le serveur driver uniquement). <Attribute1>... <AttributeN> d crivent les attributs de la table. Ces descriptions sont des listes quatre l ments : (<AttributeName> <AttributeType> <TypeLength> <Status>) <AttributeType> peut tre tout type existant de la base de donn es relationnelle courante. Par d faut, les types existant sont integer, float et string. <Status> peut tre un statut parmi () (status commun), KeyPart, NotNull et Unique. Exemple de d nition : (DriverDefineRelationalTable emp (empno integer 2 KeyPart) (ename string 20 ()) (fname string 20 ()) (job string 20 ()) (mgr integer 2 ()) (sal float 8 ()) (com float 8 ()) (deptn integer 2 ()))

30 30 3 EXPLOITATION DE DRIVER COMME SERVEUR SGBD RELATIONNEL (DriverRelationalDatabaseDenitionModeEnd) [SUBR sans argument] Cl t le mode de d nition de base de donn es.? (DriverRelationalDatabaseDefinitionModeEnd) = t 3.2 Exploitation des donn es Authentication de l'utilisateur (DriverConnectRelationalLocalUser <RelUserName> <Password>) [SUBR 2 arguments] Authentie l'utilisateur relationnel <RelUserName> par son mot de passe <Password>.? (DriverConnectRelationalLocalUser 'lebastar ()) = t Gestion des transactions (DriverCreateRelationalTransaction <RelDatabaseName>) [SUBR 1 argument] Cr e et retourne une transaction relationnelle sur la base de donn es de nom <Rel- DatabaseName>. Les op rations sur cette transaction seront d clench es par envois de message l'objet transaction.? (DriverCreateRelationalTransaction 'demo) = <RelTransaction <RelUser lebastard>, <RelDatabase demo

31 31 (DriverCurrentRelationalTransaction) [SUBR sans argument] Retourne la transaction relationnelle courante, c'est- -dire la derni re ouverte (et non la derni re cr e).? (DriverCurrentRelationalTransaction) = <RelTransaction <RelUser lebastard>, <RelDatabase demo 4 Utilisation avanc e 4.1 Gestion des mod les objets Par d faut, driver fonctionne avec le mod le objets MicroCeyx. Cependant, il est possible de prendre en compte d'autres mod les. Un mod le objets est disponible sur le serveur driver si la classe syst me le repr sentant a t d nie. Cette d nition comprend un certain nombre de m thodes qui doivent imp rativement tre d crites avant toute utilisation du mod le. Ces m thodes sont pr sent es ci-apr s D nition d'un nouveau mod le On introduit un nouveau mod le objets de nom ObjectModelName dans le serveur driver en d nissant une nouvelle sous-classe ObjectModelName la classe syst me DriverObjectModel. On eectue cette d nition par la commande : (deftclass {DriverObjectModel}:ObjectModelName) D nition du mod le MicroCeyx : (deftclass {DriverObjectModel}:MicroCeyx)

32 32 4 UTILISATION AVANC E 4.2 D nition des m thodes Les m thodes suivantes doivent imp rativement tre d crites pour toute utilisation du mod le : ({ObjectModelName}:ObjectMake <ObjectModelName> <ObjectDBMS>) [SUBR 2 arguments] Pseudo-m thode appel e pour cr er une instance de mod le objets de classe Object- ModelName. <ObjectModelName> est le nom du mod le objets et <ObjectDBMS> est le sgbd objet pour lequel est cr le mod le. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ObjectMake (ObjectModelName ObjectDBMS) ({DriverObjectModel}:Init (omakeq {MicroCeyx} ObjectDBMS ObjectDBMS Name ObjectModelName))) ({ObjectModelName}:Delete <ObjectModel>) [SUBR 1 argument] M thode appel e lors de la destruction du mod le objets <ObjectModel>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:Delete (MicroCeyx) ({DriverObjectModel}:Delete MicroCeyx)) ({ObjectModelName}:MakeObject <ObjectModel> <Class>) [SUBR 2 arguments] M thode appel e pour cr er dans le mod le objets un objet utilisateur instance de la classe repr sent e en driver par l'objet syst me <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:MakeObject (ObjectModel Class) (funcall (getfn (get-abbrev ({DriverType}:GetName Class)) 'make)))

33 4.2 D nition des m thodes 33 ({ObjectModelName}:ClassInstanceP <ObjectModel> <Object> <Class>) [SUBR 3 arguments] M thode appel e pour tester si l'objet utilisateur <Object> est instance de la classe repr sent e en driver par l'objet syst me <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ClassInstanceP (ObjectModel Object Class) (subtypep (type-of Object) (get-abbrev ({DriverType}:GetName Class)))) ({ObjectModelName}:ChangeObjectClass <ObjectModel> <NewClass> <Object>) [SUBR 3 arguments] M thode appel e pour transformer un objet utilisateur <Object> en instance de la classe repr sent e en driver par l'objet syst me <NewClass>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ChangeObjectClass (ObjectModel NewClass Object) (let ((NewObject ({MicroCeyx}:MakeObject ObjectModel NewClass))) (if (or (typep NewObject (type-of Object)) (typep Object (type-of NewObject))) (:CopyInto Object NewObject)) (exchvector Object NewObject))) (de :CopyInto (Object1 Object2) (let ((i -1)) (repeat (imin (vlength Object1) (vlength Object2)) (vset Object2 (incr i) (vref Object1 i))) Object2)) ({ObjectModelName}:BuildObject <ObjectModel> <Class> <UserObject> <NF2Type> <NF2TypeData> <ObjectTransaction>) [SUBR 6 arguments]

34 34 4 UTILISATION AVANC E M thode appel e pour construire un objet utilisateur <UserObject> de classe <Class> partir de la donn e nf2 <NF2TypeData> de type <NF2Type>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:BuildObject (ObjectModel Class UserObject NF2Type NF2TypeData ObjectTransaction) (ifn ({DriverType}:ObjectTypeP ({Class}:GetType Class)) (:DumpObject UserObject NF2Type NF2TypeData) (send 'BuildObjectTypeData ({DriverSlot}:GetType ({CollectionType}:GetSlot ({Class}:GetType Class))) UserObject NF2Type NF2TypeData ObjectTransaction))) (de :DumpObject (UserObject NF2Type NF2TypeData) (let ((NewObjectBody ({DriverType}:CopyData NF2Type NF2TypeData))) (typevector NewObjectBody (type-of UserObject)) (exchvector UserObject NewObjectBody))) ({ObjectModelName}:BuildNF2Data <ObjectModel> <Class> <NF2Type> <UserObject> <ObjectTransaction>) [SUBR 5 arguments] M thode appel e pour construire la donn e nf2 de type <NF2Type> correspondant un objet utilisateur <UserObject> de classe <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:BuildNF2Data (ObjectModel Class NF2Type UserObject ObjectTransaction) (ifn ({DriverType}:ObjectTypeP ({Class}:GetType Class)) ({DriverType}:CopyData ({DriverSlot}:GetType ({CollectionType}:GetSlot ({Class}:GetType Class)))

35 4.2 D nition des m thodes 35 UserObject) (send 'BuildNF2TypeData ({DriverSlot}:GetType ({CollectionType}:GetSlot ({Class}:GetType Class))) NF2Type UserObject ObjectTransaction))) ({ObjectModelName}:MakeClass <ObjectModel> <Class>) [SUBR 2 arguments] M thode appel e pour cr er dans le mod le objets la classe repr sent e en driver par l'objet syst me <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:MakeClass (ObjectModel Class) (let ((SuperClassSlots (if ({DriverType}:GetSuper Class) ({TupleType}:GetSlots (:MustBeAMicroCeyxTupleType ({DriverSlot}:GetType ({CollectionType}:GetSlot ({Class}:GetType ({DriverType}:GetSuper Class))))))))) (apply 'deftclass (cons (:GetMicroCeyxType Class) (mapcan (lambda (Slot) (ifn (:SlotMemq ({DriverSlot}:GetName Slot) SuperClassSlots) (list ({DriverSlot}:GetName Slot)))) ({TupleType}:GetLocalSlots (:MustBeAMicroCeyxTupleType ({DriverSlot}:GetType ({CollectionType}:GetSlot ({Class}:GetType Class)))))))))) (de :SlotMemq (Name Slots) (if Slots (if (eq ({DriverSlot}:GetName (car Slots)) Name) Slots (:SlotMemq Name (cdr Slots)))))

36 36 4 UTILISATION AVANC E (de :GetMicroCeyxType (Class) (symbol (if ({DriverType}:GetSuper Class) (get-abbrev ({DriverType}:GetName ({DriverType}:GetSuper Class)))) ({DriverType}:GetName Class))) (de :MustBeAMicroCeyxTupleType (Type) (if (typep Type '{TupleType}) Type (error DriverCurrentApiFunction 'DriverBadMicroCeyxClassType Type))) ({ObjectModelName}:ExistentClassP <ObjectModel> <Class>) [SUBR 2 arguments] M thode appel e pour tester si la classe repr sent e en driver <Class> existe dans le mod le objets. par l'objet syst me D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ExistentClassP (ObjectModel Class) (getfn1 (:GetMicroCeyxType Class) 'make)) (de :GetMicroCeyxType (Class) (symbol (if ({DriverType}:GetSuper Class) (get-abbrev ({DriverType}:GetName ({DriverType}:GetSuper Class)))) ({DriverType}:GetName Class))) Gestion des d fauts d'objet Les d fauts d'objets dans le mod le sont g r s travers les m thodes suivantes : ({ObjectModelName}:MakeObjectDefault <ObjectModel> <Class>) [SUBR 2 arguments] M thode appel e pour cr er un d faut d'objet rempla ant une instance de la classe repr sent e en driver par l'objet syst me <Class>.

37 4.2 D nition des m thodes 37 D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:MakeObjectDefault (ObjectModel Class) (let ((Default (makevector 0 ()))) (typevector Default (get-abbrev ({DriverType}:GetName Class))) Default)) ({ObjectModelName}:ObjectDefaultP <ObjectModel> <Default>) [SUBR 2 arguments] M thode appel e pour tester si un objet est repr sent en m moire sous la forme d'un d faut d'objet. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ObjectDefaultP (ObjectModel Default) (eqn (vlength Default) 0)) ({ObjectModelName}:ChangeDefaultToObject <ObjectModel> <Class> <Default>) [SUBR 3 arguments] M thode appel e pour transformer un d faut d'objet en un objet de la classe <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ChangeDefaultToObject (ObjectModel Class Default) (exchvector Default ({MicroCeyx}:MakeObject ObjectModel Class))) ({ObjectModelName}:ChangeObjectToDefault <ObjectModel> <Class> <Object>) [SUBR 3 arguments] M thode appel e pour transformer un objet en d faut d'objet de la classe <Class>. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ChangeObjectToDefault (ObjectModel Class Object) (exchvector Object ({MicroCeyx}:MakeObjectDefault ObjectModel Class)))

38 38 4 UTILISATION AVANC E Acc s utilisateur aux objets L'utilisateur qui souhaite acc der ses objets ( criture comme lecture) alors qu'ils peuvent tre repr sent s sous forme de d fauts d'objet doit le faire par l'interm diaire d'accesseurs particuliers, prot g s que nous proposons de formuler sous forme de m thodes de mod les. Ces m thodes ne sont pas utilis es en interne driver ; elles existent uniquement disposition de l'utilisateur nal. ({ObjectModelName}:ProtectedReadSlotValue <ObjectModel> <Slot> <Object>) [SUBR 3 arguments] M thode appel e pour extraire d'un objet <Object> la valeur d'un slot <Slot>. Si l'objet est repr sent par un d faut d'objet, on le charge auparavant. <Slot> est un objet syst me driver de la classe DriverSlot. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ProtectedReadSlotValue (ObjectModel Slot UserObject) (if ({MicroCeyx}:ObjectDefaultP ObjectModel UserObject) (DriverLoadObject UserObject)) ({MicroCeyx}:ReadSlotValue ObjectModel Slot UserObject)) (de {MicroCeyx}:ReadSlotValue (ObjectModel Slot UserObject) (send ({DriverSlot}:GetName Slot) UserObject)) ({ObjectModelName}:ProtectedWriteSlotValue <ObjectModel> <Slot> <Object> <NewSlotValue>) [SUBR 4 arguments] M thode appel e pour aecter la valeur <NewSlotValue> dans le slot <Slot> de l'objet <Object>. Si l'objet est repr sent par un d faut d'objet, on le charge auparavant. <Slot> est un objet syst me driver de la classe DriverSlot. D nition de la m thode pour MicroCeyx : (de {MicroCeyx}:ProtectedWriteSlotValue (ObjectModel Slot UserObject NewSlotValue) (if ({MicroCeyx}:ObjectDefaultP ObjectModel UserObject)

39 4.2 D nition des m thodes 39 (DriverLoadObject UserObject)) ({MicroCeyx}:WriteSlotValue ObjectModel Slot UserObject NewSlotValue)) (de {MicroCeyx}:WriteSlotValue (ObjectModel Slot UserObject NewSlotValue) (send ({DriverSlot}:GetName Slot) UserObject NewSlotValue))

40 40 5 EXEMPLE D'APPLICATION 5 Exemple d'application 5.1 Exemple de d nition de bases de donn es (DriverUseDBMSStratification 'ObjectDriver 'NF2Driver 'ingres) (DriverDefineDBMSDefaultObjectModel 'ObjectDriver 'MicroCeyx) (DriverDefineUserStratification 'lebastard () 'lebastard () 'lebastar ()) (DriverDatabaseDefinitionMode 'demo 'demo 'smecidemo) (unless (DriverExistentObjectTypeP 'symbol) (DriverCreateObjectPrimitiveType 'symbol 'string) (de Driver_string_symbol (str) (if str (symbol () str))) (de Driver_symbol_string (sym) (if sym (string sym)))) ;;; begin of example.ll ;- ; Mapping creation ;- ;- ; Relational database: Table definitions ;- (DriverDefineRelationalTable emp (empno integer 2 KeyPart) (ename string 20 ()) (fname string 20 ()) (job string 20 ()) (mgr integer 2 ()) (sal float 8 ()) (com float 8 ()) (deptn integer 2 ())) (DriverDefineRelationalTable dept (deptno integer 2 KeyPart) (dname string 20 ()))