example Delta

typeside Ty = literal {
	types
		int
	constants
		"100" "150" "200" "250" "300" : int
	external_types
		string -> "java.lang.String"
	external_parsers
		string -> "x => x"
}

schema C = literal : Ty {
 	entities
		T1 T2
 	attributes
		ssn first last : T1 -> string
		first last : T2 -> string
		salary : T2 -> int
}

schema D = literal : Ty {
 	entities
		T
 	attributes
		ssn0 first0 last0 : T -> string
		salary0 : T -> int
}

mapping F = literal : C -> D {
 	entity
		T1 -> T
	attributes
		ssn    -> lambda x:T. ssn0(x) #lambda syntax
		first  -> lambda x. first0(x) #shorter lambda syntax
		last   -> last0

	entity
		T2 -> T
 	attributes
		last   -> last0
		salary -> salary0
		first  -> first0 #path syntax
}

instance J = literal : D {
	generators
		XF667 XF891 XF221 : T
	equations
		XF667.ssn0 = "115-234" XF891.ssn0 = "112-988" XF221.ssn0 = "198-887"
#		XF667.first0 = Bob XF891.first0 = Sue XF221.first0 = Alice
		XF667.last0 = Smith XF891.last0 = Smith XF221.last0 = Jones
		XF667.salary0 = 250 XF891.salary0 = 300 XF221.salary0 = 100
}

instance J2 = random : D {
	generators
		T -> 10
	#options
	#	random_seed = 2
}

instance deltaFJ = delta F J
instance deltaFJ_alt1 = eval (toQuery F) J
instance deltaFJ_alt2 = coeval (toCoQuery F) J

instance J0 = literal : D {
 generators
	XF22 aXF66 XF89  xxx : T
 equations
	aXF66.ssn0 = "115-234" XF89.ssn0 = "112-988" XF22.ssn0 = "198-887"
	# aXF66.first0 = Bob XF89.first0 = Sue 
	XF22.first0 = Alice
	aXF66.last0 = Smith XF89.last0 = Smith XF22.last0 = Jones
	aXF66.salary0 = 250 XF89.salary0 = 300 XF22.salary0 = 100
}

transform h = literal : J -> J0 {
 generators
	 XF667 -> aXF66
	 XF891 -> XF89
	 XF221 -> XF22
}

transform h0 = delta F h

instance sigmadeltaFJ = sigma F deltaFJ

transform u = counit F J

instance J

instance J2

instance J0

instance deltaFJ_alt1

instance deltaFJ

instance deltaFJ_alt2

instance sigmadeltaFJ