This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group: Caso8 | |
Pers = { | |
dni:number, telp:number, mail:string | |
1, 10, 1.com | |
2, 20, 2.com | |
3, 30, 3.com | |
4, 40, 4.com | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1.Personas (todos los datos) que solamente han tomado la línea 26A de la provincia de San Juan. | |
B=ρE (πcuit,codlinea (πcuit (σ prov='San Juan' Emp)⨝(σcodlinea='26A' Lin))) | |
C=ρTA (π num (V⨝ (V.empresa≠E.cuit and V.codlinea=E.codlinea) or ( V.empresa=E.cuit and V.codlinea≠E.codlinea) or (V.empresa≠E.cuit) B)) | |
HH = (π num V-C)⨝Tar | |
HH | |
Otra solución | |
TNSJ=ρ NSJ ( πnum ( σprov≠'San Juan' (V⨝V.empresa=Emp.cuit Emp))) | |
TSJ= πnum (V ⨝ V.empresa=Emp.cuit and codlinea≠'26A' and prov='San Juan' Emp) | |
(πnum V-(TNSJ∪TSJ))⨝ Tar |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group:socrative | |
Especie = {Nombre, Nombre_cientifico, Reino | |
'Petiribí','Cordia trichotoma Arrab','Flora' | |
'Yaguareté','Panthera onca','Fauna' | |
'Cóndor Andino','Vultur gryphus', 'Fauna' | |
} | |
Se_encuentra={Nombre, Pais, Cantidad_ejemplares | |
'Petiribí','Argentina',20010 | |
'Yaguareté','Argentina',249 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group: Caso 2 | |
CLI = {dni:number, nya:string, sexo:string, edad:number, dir:string, tel:string, zona:string | |
34500600,'Ana Perez','F',34,'Av Libertador 45(E)','2645678900','Capital' | |
24900600,'Luciano Pereyra','M',47,'Av Ignacio de la Roza 590(E)','2646678887','Rivadavia' | |
} | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group:espectaculos | |
Persona = {DNI, Tel, email | |
1,'44444', 'p1@gmail.com' | |
2,'44444', 'p2@gmail.com' | |
3,'44444', 'p2@gmail.com' | |
} | |
Teatro = {Codt, Nom, Direc, Tel, Capac, prov | |
1, 'Bicentenario','Av España','3333', 1200, 'SJ' | |
2, 'Sarmiento','Av España','3333', 1200, 'SJ' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/*PERS (Personas) = {Dni, Nom, Sexo, Edad, Dir, Tel, Zona} | |
DEPO (Deportes) = {Codd, Nomd, Clase} | |
CLUB (Clubes) = {Codc, Nomc, Dir, Tel, Cat, Zona} | |
PRAC (Practican) = {Dni, Codd, Codc}*/ | |
group: deporte | |
PERS = {Dni:number, Nom:string, Sexo:string, Edad:number,Dir:string,Tel:string,Zona:string | |
35678900,'Juan Perez','M',33,'Libertador 340 (E)','4234560','Capital' | |
40222333,'María Castro','F',28,'Salta 560(N)','4305060','Capital' | |
34567890, 'Ariel Gonzalez','M',25,'Mendoza 1780(S)','4209080','Rawson' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- éste es un ejemplo | |
group: CASO4 | |
LEY = { | |
num:number, nombre:string, cant_art:number, fecha:date, ambito:string, dni:number | |
20424 , 'Explotacion de Fosfato' , 14 , 2000-12-21 , 'Mineria' , 12432123 | |
19654 , 'Explotacion de salmon' , 11 , 2000-11-22 , 'Pesca' , 12432123 | |
11266 , 'Recursos Renovables' , 20 , 2002-12-22 , 'Medio Ambiente' , 15987123 | |
20425 , 'Desechos peligrosos' , 20 , 2002-12-22 , 'Medio Ambiente' , 12555446 | |
30900 , 'Residuos Patogénicos' ,34 , 2000-11-01 ,'Medio Ambiente' , 12555446 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
Pla (Planeta) = {nomp, fechadesc (fecha de descubrimiento), cantal(cantidad de años luz del sol)} | |
As(Astrónomo) = {nomas, paisnac, fecha-nac, uni (universidad)} | |
D(Descubrió) = {nomp (planeta), nomas (astrónomo)} | |
S (Satélite) = {cods, nom (nombre), nomas (nombre del astrónomo que lo bautizó), fechadesc (fecha de descubrimiento), planeta (nombre del planeta)} | |
*/ | |
group:Planetas | |
Pla = {nomp:string, fechadesc:date, cantal:number | |
'TRAPPIST-1b',2017-03-23,10 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group: Caso6 | |
Eq = { | |
codeq:number, nombre:string,cant_copas:number, pais:string | |
10, "Real Madrid", 26, "España" | |
20, "AL-AHLY", 24, "Egipto" | |
30, "Boca Juniors", 18, "Argentina" | |
40, "Milan", 18, "Italia" | |
50, "Independiente", 18, "Argentina" | |
60, "Barcelona", 17, "España" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group: caso6 | |
Tar = { | |
num:number, monto:number, dni:number, nombre:string, prov:string | |
100, 450, 35678900, 'Juan Perez', 'San Juan' | |
102, 678, 40222333, 'María Castro', 'Córdoba' | |
103, 450, 34567890, 'Ariel Gonzalez', 'San Juan' | |
344, 234, 33444567, 'Ian Mendez', 'San Juan' | |
345, 239, 38444567, 'Morena Torrez', 'San Luis' | |
500, 450, 34567890, 'Ariel Gonzalez', 'San Juan' | |
} |