public static Luat SaveLuat(Luat luat)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
db.Luats.Add(luat);
db.SaveChanges();
return(luat);
}
}
//lấy id của luật dựa vào vế trái và đcậy( lấy giá trị first) -nếu xét vephai=>lỗi ộ tin
public static int?GetId(string vetrai, string vephai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
var query = "SELECT * FROM dbo.Luat WHERE SuKienVT = " + vetrai + " AND SukienVP=" + vephai;
Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
if (sk == null)
{
return(null);
}
return(sk.Id);
}
}
//public string sukienvephai;
//public Luat(string vetrai,string vephai)
//{
// this.SuKienVT = vetrai;
// sukienvetrais = Luat.ConvertIntArrayToStringArray(vetrai);
//}
public static Luat GetLuat(string vetrai, string vephai, int dotincay, string giaithich)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
Luat luat = new Luat();
luat.SuKienVT = vetrai;
luat.SukienVP = vephai;
luat.GiaiThich = giaithich;
luat.DoTinCay = dotincay;
return(luat);
}
}
//lấy độ tin cậy dựa vào vế trái và độ tin cậy là max
public static int GetDoTinCayByVetrai(string vetrai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
var query = "SELECT TOP 1 * FROM dbo.Luat WHERE SuKienVT = '" + vetrai + "'" + " ORDER BY DoTinCay DESC ";
Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
if (sk == null)
{
return(0);
}
return(Convert.ToInt16(sk.DoTinCay));
}
}
//lấy mô tả dựa vào id của luật
public static string GetMoTaLuat(int id)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
var query = "SELECT * FROM dbo.Luat WHERE Id=" + id;
Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
if (sk == null)
{
return(null);
}
return(sk.GiaiThich);
}
}
//lấy luật dựa vào vế trái và vế phải
//public static Luat GetLuat(string vetrai, string vephai)
//{
// using (TuVanLaptopEntities db = new TuVanLaptopEntities())
// {
// string x = "SuKienVT=" + vetrai + " AND SukienVP=" + vephai;
// var query = "SELECT * FROM dbo.Luat WHERE "+x ;
// Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
// if (sk == null)
// {
// return null;
// }
// return sk;
// }
//}
//lấy độ tin cậy dựa vào id của luật
public static int?GetDoTinCay(int id)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
var query = "SELECT * FROM dbo.Luat WHERE Id=" + id;
Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
if (sk == null)
{
return(null);
}
return(sk.DoTinCay);
}
}
//kiểm tra luật đã tồn tại hay chưa dựa vào vế trái và vế phải
public static bool CheckLuatTonTai(string vetrai, string vephai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
var query = "SELECT * FROM dbo.Luat WHERE SuKienVT = '" + vetrai + "'" + " AND SukienVP ='" + vephai + "'";
//fix lỗi nếu vephai chứa luật like N''=>
Luat sk = db.Luats.SqlQuery(query).SingleOrDefault();
if (sk == null)
{
return(false);
}
return(true);
}
}
//lấy luật dựa vào vế trái
// cần xét thêm độ tin cậy( lấy luật có độ tin cậy cao nhất)
public static Luat getLuatByVeTrai(string vetrai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
//Luat sk = db.Luats.SingleOrDefault(n => n.SuKienVT == vetrai);
var query = "SELECT TOP 1 * FROM dbo.Luat WHERE SuKienVT = '" + vetrai + "'" + " ORDER BY DoTinCay DESC ";
Luat luat = db.Luats.SqlQuery(query).FirstOrDefault();
if (luat == null)
{
return(null);
}
return(luat);
}
}
//xóa luật có độ ưu tiên thấp hơn dựa cùng vế trái
public static List <Luat> DeleteLuatByLuat(string vetrai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
Luat luat = Luat.getLuatByVeTrai(vetrai);
if (luat != null)
{
//xóa luật có độ ưu tiên thấp hơn luat này
List <Luat> luatList = db.Luats.Where(x => x.DoTinCay < luat.DoTinCay).ToList();
db.Luats.RemoveRange(luatList);
db.SaveChanges();
return(luatList);
}
return(null);
}
}