LINQ: Language Integrated Query. ST Colloquium, Tom Lokhorst

Transcription

1 LINQ: Language Integrated Query ST Colloquium, Tom Lokhorst

2 Brief example

3 Brief example int[] nrs = {2, 3, 9, 1, 21, 3, 42};

4 Brief example int[] nrs = {2, 3, 9, 1, 21, 3, 42}; var q = from n in nrs where n < 5 select n * n;

5 Brief example int[] nrs = {2, 3, 9, 1, 21, 3, 42}; var q = from n in nrs where n < 5 select n * n; foreach (var i in q) { Console.WriteLine(i); }

6 Brief example int[] nrs = {2, 3, 9, 1, 21, 3, 42}; var q = from n in nrs where n < 5 select n * n; LINQ foreach (var i in q) { Console.WriteLine(i); }

7 Overview The problem space LINQ in.net 3.5 Deconstructing expressions Usages of LINQ Comparisons with other stuff

8 Circles, Triangles and Rectangles

9 Circles, Triangles and Rectangles

10 Circles, Triangles and Rectangles Business software deals with lots of different types of data: Objects Tree structures (XML) Relational

11 Assignment A web server should show a list of the top 5 memory-intensive processes. Per process, show its name, and a description. There is a SQL database with descriptions for programs. The list should be in RSS format.

12 A bit of History

13 A bit of History.NET 1.0 released early 2002 CLR 1.0, C# 1.0, VB 7.0 Delegates: managed function pointers

14 A bit of History.NET 1.0 released early 2002 CLR 1.0, C# 1.0, VB 7.0 Delegates: managed function pointers.net 2.0 released late 2005 CLR 2.0, C# 2.0, VB 8.0 Generics, iterators, anonymous delegates

15 A bit of History.NET 1.0 released early 2002 CLR 1.0, C# 1.0, VB 7.0 Delegates: managed function pointers.net 2.0 released late 2005 CLR 2.0, C# 2.0, VB 8.0 Generics, iterators, anonymous delegates.net 3.5 released late 2007 CLR 2.0, C# 3.0, VB 9.0 Lambda expressions, local type inferencing, extension methods, LINQ

16 LINQ in.net 3.5 Libraries LINQ to Objects LINQ to XML LINQ to SQL Language enhancements Lambda expressions Query syntax Compiler enhancements Expression trees

17 LINQ to Objects

18 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 var q = from n in nrs where n < 5 select n * n;

19 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<int> q = from n in nrs where n < 5 select n * n;

20 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<int> q = nrs.where<int>(n => n < 5).Select<int, int>(n => n * n);

21 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<float> q = nrs.where<int>(n => n < 5).Select<int, float>(n => n * 0.5F);

22 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, n => n < 5), (n => n * 0.5F));

23 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, n => n < 5), (n => n * 0.5F)); public static IEnumerable<T> Where<T>(this IEnumerable<T> source, Func<T, bool> predicate) {... }

24 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, n => n < 5), (n => n * 0.5F)); public static IEnumerable<T> Where<T>(this IEnumerable<T> source, Func<T, bool> predicate) { foreach (var elem in source) if (predicate(elem)) yield return elem; }

25 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, n => n < 5), (n => n * 0.5F));

26 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 2.0 IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, delegate(int n){ return n < 5; }), delegate(int n){ return n * 0.5F;} );

27 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 1.0* IEnumerable<float> q = Enumerable.Select<int, float>( Enumerable.Where<int>(nrs, new Func<int, bool>(lessthanfive)), new Func<int, float>(timeshalf) ); bool LessThanFive(int n) { return n < 5; } float TimesHalf(int n) { return n * 0.5F; }

28 Eating the sugar int[] nrs = {2, 3, 9, 1, 21, 3, 42}; C# 3.0 var q = from n in nrs where n < 5 select n * n;

29 LINQ to Objects Query comprehenssions More syntax; orderby, groupby, join Works on you data structures IEnumerable<T> Implement you own Where<T>, Select<T> More library functions

30 LINQ to XML

31 Dealing with angle brackets LINQ to XML is a replacement for the W3C Document Object Model, because: It s old It s ugly It s impractical New API, all library: System.Xml.LINQ

32 Document Object Model Imperative API Document-centric Weird data types

33 Document Object Model Imperative API Document-centric Weird data types <Company name= Microsoft > <Founders> <Person>Bill Gates</Person> </Founders> </Company>

34 Document Object Model XmlDocument doc = new XmlDocument(); XmlElement company = doc.createelement("company"); doc.appendchild(company); XmlAttribute name = doc.createattribute("name"); name.value = "Microsoft"; company.attributes.append(name); XmlElement founders = doc.createelement("founders"); company.appendchild(founders); XmlElement person = doc.createelement("person"); founders.appendchild(person); XmlText bill = doc.createtextnode("bill Gates"); person.appendchild(bill);

35 LINQ to XML Functional construction Element-centric (context free) CLR data types (collection friendly)

36 LINQ to XML Functional construction Element-centric (context free) CLR data types (collection friendly) XElement company = new XElement("Company", new XAttribute("name", "Microsoft"), new XElement("Founders", new XElement("Person", "Bill Gates") ) );

37 XML with queries

38 XML with queries string[] names = { Anders, Erik, Amanda };

39 XML with queries string[] names = { Anders, Erik, Amanda }; from n in names where n.startswith( A ) select new XElement( Person, n)

40 XML with queries string[] names = { Anders, Erik, Amanda }; XElement employees = new XElement( Employees, from n in names where n.startswith( A ) select new XElement( Person, n) );

41 XML with queries string[] names = { Anders, Erik, Amanda }; XElement employees = new XElement( Employees, from n in names where n.startswith( A ) select new XElement( Person, n) ); company.add(employees);

42 XML with queries string[] names = { Anders, Erik, Amanda }; XElement employees = new XElement( Employees, from n in names where n.startswith( A ) select new XElement( Person, n) ); company.add(employees); Console.WriteLine(company);

43 XML on the Console <Company name= Microsoft > <Founders> <Person>Bill Gates</Person> </Founders> <Employees> <Person>Anders</Person> <Person>Amanda</Person> </Employees> </Company>

44 Querying XML IEnumerable<string> persons = from p in company.descendants( Person ) select p.value;

45 Querying XML IEnumerable<string> persons = from p in company.descendants( Person ) select p.value; Bill Gates Anders Amanda

46 LINQ to SQL

47 Querying a SQL backend Use LINQ to query a relational database Strongly typed queries Remote the query to the DBMS C# must remain API/DB independent

48 LINQ to SQL Simple Object Relational Mapper Microsoft SQL Server Comes with tool to make classes out of tables in an existing database Certainly not the best ORM out there More advanced stuff: LINQ to Entities

49 LINQ to SQL example

50 LINQ to SQL example

51 LINQ to SQL example

52 LINQ to SQL example [DatabaseAttribute(Name="Northwind")] public partial class NorthwindDataContext : System.Data.LINQ.DataContext { public NorthwindDataContext() : base("data Source=.;Initial Catalog=Northwind;" + "Integrated Security=True") { } } public Table<Customer> Customers { get { return this.gettable<customer>(); } }

53 LINQ to SQL example [Table(Name="dbo.Customers")] public partial class Customer : INotifyPropertyChanging, INotifyPropertyChanged { private string _CustomerID; [Column(Storage="_CustomerID", DbType="NChar(5) NOT NULL", CanBeNull=false, IsPrimaryKey=true)] public string CustomerID { get { return this._customerid; } set { /* Setter code removed */ } } } /* More code be here */

54 LINQ to SQL example

55 LINQ to SQL example var db = new NorthwindDataContext(); var q = from c in db.customers where c.city == London select c;

56 LINQ to SQL example var db = new NorthwindDataContext(); var q = from c in db.customers where c.city == London select c; foreach (var c in q) Console.WriteLine(c.CustomerID + + c.contactname);

57 LINQ to SQL example var db = new NorthwindDataContext(); var q = from c in db.customers where c.city == London select c; foreach (var c in q) Console.WriteLine(c.CustomerID + + c.contactname); AROUT Thomas Hardy BSBEV Victoria Ashworth CONSH Elizabeth Brown EASTC Ann Devon NORTS Simon Crowther SEVES Hari Kumar

58 LINQ to SQL example var q = db.customers.where<customer>( c => c.city == London );

59 Lambdas again

60 Lambdas again Func<int, int> f = x => (x + 1) * 2; int nr = f(20); Console.WriteLine(nr); // Prints: 42

61 Lambdas again Expression<Func<int, int>> e = x => (x + 1) * 2;

62 Lambdas again Expression<Func<int, int>> e = x => (x + 1) * 2; string str = e.nodetype + + e.parameters.count; Console.WriteLine(str); // Prints: Lambda 1

63 Lambdas again Expression<Func<int, int>> e = x => (x + 1) * 2; string str = e.nodetype + + e.parameters.count; Console.WriteLine(str); // Prints: Lambda 1 Func<int, int> f = e.compile(); Console.WriteLine(f(20)); // Prints: 42

64 Lambdas again Expression<Func<int, int>> e = x => (x + 1) * 2;

65 Lambdas again Expression<Func<int, int>> e = x => (x + 1) * 2; ParameterExpression x = Expression.Parameter(typeof(int), "x"); Expression one = Expression.Constant(1, typeof(int)); Expression two = Expression.Constant(2, typeof(int)); Expression body = Expression.Multiply(Expression.Add(x, one), two); Expression<Func<int, int>> e = Expression.Lambda<Func<int, int>>(body, x);

66 LINQ to SQL example var q = db.customers.where<customer>( c => c.city == London );

67 LINQ to SQL example var q = db.customers.where<customer>( c => c.city == London ); ParameterExpression c = Expression.Parameter(typeof(Customer), "c"); IQueryable<Customer> q = db.customers.where<customer>(expression.lambda<func<customer, bool>>( Expression.Equal( Expression.Property(c, (MethodInfo) methodof(customer.get_city)), Expression.Constant("London", typeof(string)), false, (MethodInfo) methodof(string.op_equality)), c));

68 LINQ to SQL example var q = db.customers.where<customer>( c => c.city == London ); SELECT C.* FROM Customers AS C WHERE C.City = London

69 Many more operations int x = db.customers.where<customer>( c => c.city == London ).Count(); SELECT COUNT(C.*) AS value FROM Customers AS C WHERE C.City = London

70 Many more operations int x = db.customers.where<customer>( c => c.city == London ).Take(4); SELECT TOP (4) C.* FROM Customers AS C WHERE C.City = London

71 Many more operations Restriction Projection Partitioning Join Concatinatin Ordering Grouping Set Conversion Elemement Generation Quantifiers Aggregate Where Select, SelectMany Take, Skip, TakeWhile, SkipWhile Join, GroupJoin Concat OrderBy, ThenBy, Reverse GroupBy Distinct, Union, Intersect, Except ToArray, ToList, ToDictionary, OfType, Cast First, FirstOrDefault, Last, LastOrDefault Range, Repeat, Empty Any, All, Contains Count, Sum, Min, Max, Average, Aggregate

72 Assignment

73 Assignment Solution

74 Assignment Solution new XElement("rss", new XAttribute("version", "2.0"), new XElement("channel", new XElement("title", "Top Processes"), from p in (from p in Process.GetProcesses() orderby p.virtualmemorysize descending select p).take(5) join pd in db.processdescriptions on p.processname equals pd.name into descrs from d in descrs.defaultifempty() select new XElement("item", new XElement("title", p.processname), d!= null? new XElement("description", d.description) : null) ) );

75 Assignment <rss version="2.0"> <channel> <title>top Processes</title> <item> <title>sqlservr</title> <description>sql Server</description> </item> <item> <title>sqlservr</title> <description>sql Server</description> </item> <item> <title>devenv</title> <description>visual Studio</description> </item> <item> <title>ssmsee</title> </item> <item> <title>reflector</title> </item> </channel> </rss> Solution

76 Other providers DbLinq (MySQL, PostgreSQL, Oracle) LINQ to Google LINQ to Entities Parallel LINQ DryadLINQ (Distributed execution engine)

77 Concluding... All LINQ is: Query comprehensions Libraries Expression trees Many more providers to come...

78 Questions?

79 Assignment in VB syntax Dim result = _ <rss version="2.0"> <channel>top Processes</channel> <%= From p In Process.GetProcesses() _ Order By p.virtualmemorysize Descending _ Take 5 _ Group Join pd In db.processdescriptions _ On p.processname Equals pd.name _ Into descrs = Group _ From d In descrs.defaultifempty _ Select <item> <title><%= p.processname %></title> <%= If(d IsNot Nothing, _ <description><%= d.description %></description>, _ Nothing) %> </item> %> </rss>

80 LINQ in Java // Setup a JPA entity manager... SessionFactory sessionfactory = new Configuration().configure().buildSessionFactory(); EntityManagerFactory entitymanagerfactory = new EntityManagerFactoryImpl(sessionFactory, PersistenceUnitTransactionType.RESOURCE_LOCAL, true); QueryableEntityManager entitymanager = new QueryableEntityManager(entityManagerFactory.createEntityManager()); // Select all customers in the Washington region Iterable<Customer> wacustomers = from("c").in(entitymanager.entity(customer.class)). where(eq("c.getregion()", "WA")). select("c");

81 Monadic parser combinators using C# public abstract class MiniMLParsers<TInput> : CharParsers<TInput>{ public MiniMLParsers() { Whitespace = Rep(Char(' ').OR(Char('\t').OR(Char('\n')).OR(Char('\r')))); WsChr = chr => Whitespace.AND(Char(chr)); Id = from w in Whitespace from c in Char(char.IsLetter) from cs in Rep(Char(char.IsLetterOrDigit)) select cs.aggregate(c.tostring(),(acc,ch) => acc+ch); Ident = from s in Id where s!= "let" && s!= "in" select s; LetId = from s in Id where s == "let" select s; InId = from s in Id where s == "in" select s; Term1 = (from x in Ident select (Term)new VarTerm(x)).OR( (from u1 in WsChr('(') from t in Term from u2 in WsChr(')') select t)); Term = (from u1 in WsChr('\\') from x in Ident from u2 in WsChr('.') from t in Term

82 } from cs in Rep(Char(char.IsLetterOrDigit)) select cs.aggregate(c.tostring(),(acc,ch) => acc+ch); Ident = from s in Id where s!= "let" && s!= "in" select s; LetId = from s in Id where s == "let" select s; Monadic parser InId = from s in Id where s == "in" select s; Term1 = (from x in Ident select (Term)new VarTerm(x)) combinators using C#.OR( (from u1 in WsChr('(') from t in Term from u2 in WsChr(')') select t)); Term = (from u1 in WsChr('\\') from x in Ident from u2 in WsChr('.') from t in Term select (Term)new LambdaTerm(x,t)).OR( (from letid in LetId from x in Ident from u1 in WsChr('=') from t in Term from inid in InId from c in Term select (Term)new LetTerm(x,t,c))).OR( (from t in Term1 from ts in Rep(Term1) select (Term)new AppTerm(t,ts))); All = from t in Term from u in WsChr(';') select t;